@inproceedings{
    GJMSTT05:lpnmr,
    editor = "Baral, Chitta and Greco, Gianluigi and Leone, Nicola and Terracina, Giorgio",
    author = "Gressmann, Jean and Janhunen, Tomi and Mercer, Robert and Schaub, Torsten and Thiele, Sven and Tichy, Richard",
    publisher = "Springer-Verlag",
    title = "Platypus: {A} Platform for Distributed Answer Set Solving",
    url = "http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3662&spage=227",
    booktitle = "Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning",
    address = "Diamante, Italy",
    month = "September",
    flags = "ACPT",
    year = "2005",
    pages = "227--239"
}