@inproceedings{
    GJMSTT06:nmr,
    editor = {Dix, J{\"u}ergen and Hunter, Anthony},
    author = "Gressmann, Jean and Janhunen, Tomi and Mercer, Robert and Schaub, Torsten and Thiele, Sven and Tichy, Richard",
    publisher = "University of Clausthal, Department of Informatics, Techical Report, IfI-06-04",
    title = "On Probing and Multi-Threading in Platypus",
    url = "http://www.in.tu-clausthal.de/forschung/technical-reports/",
    booktitle = "Proceedings of the 11th International Workshop on Nonmonotonic Reasoning",
    address = "Lake District, UK",
    month = "May",
    flags = "ACPT",
    year = "2006",
    pages = "30--38"
}