A Versatile Intermediate Language for Answer Set Programming

Reference:

Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele. A versatile intermediate language for answer set programming. In Maurice Pagnucco and Michael Thielscher, editors, Proceedings of the 12th International Workshop on Nonmonotonic Reasoning, pages 150–159, Sydney, Australia, September 2008. University of New South Wales, School of Computer Science and Engineering, Techical Report, UNSW-CSE-TR-0819.

Suggested BibTeX entry:

@inproceedings{GJOST08:nmr,
    address = {Sydney, Australia},
    author = {Martin Gebser and Tomi Janhunen and Max Ostrowski and Torsten Schaub and Sven Thiele},
    booktitle = {Proceedings of the 12th International Workshop on Nonmonotonic Reasoning},
    editor = {Maurice Pagnucco and Michael Thielscher},
    month = {September},
    pages = {150--159},
    publisher = {University of New South Wales, School of Computer Science and Engineering, Techical Report, UNSW-CSE-TR-0819},
    title = {A Versatile Intermediate Language for Answer Set Programming},
    year = {2008},
}

See www.cse.unsw.edu.au ...