@InProceedings{grjamescthti06b,
  author =	 "J. Gressmann and T. Janhunen and R. Mercer and T. Schaub and
                  S. Thiele and R. Tichy",
  title =	 "On Probing and Multi-Threading in Platypus",
  pages =	 "392-396",
  crossref =	 "ecai06"
}
@Proceedings{ecai06,
  title =	 "Proceedings of the European Conference on Artificial Intelligence (ECAI'06)",
  booktitle =	 "Proceedings of the European Conference on Artificial Intelligence (ECAI'06)",
  editor =	 "G. Brewka and S. Coradeschi and A. Perini and P. Traverso",
  publisher =	 "IOS Press",
  year =	 2006
}