@inproceedings{
    GJOST08:nmr,
    editor = "Pagnucco, Maurice and Thielscher, Michael",
    author = "Gebser, Martin and Janhunen, Tomi and Ostrowski, Max and Schaub, Torsten and Thiele, Sven",
    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",
    url = "http://www.cse.unsw.edu.au/~kr2008/NMR2008/nmr08.pdf",
    booktitle = "Proceedings of the 12th International Workshop on Nonmonotonic Reasoning",
    address = "Sydney, Australia",
    month = "September",
    flags = "MCM",
    year = "2008",
    pages = "150--159"
}