@inproceedings{DBLP:conf/ecai/GressmannJMSTT06,
  author = {Gressmann, Jean and Janhunen, Tomi and Mercer, Robert E. and Schaub, Torsten and Thiele, Sven and Tichy, Richard},
  title = {On Probing and Multi-Threading in Platypus},
  booktitle = {{ECAI}},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {141},
  pages = {392--396},
  publisher = {{IOS} Press},
  year = {2006}
}