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