@inproceedings{13a731808ba54647bc9f533381483441,
title = "A Versatile Intermediate Language for Answer Set Programming",
keywords = "answer set programming, file formats, language design, answer set programming, file formats, language design, answer set programming, file formats, language design",
author = "Martin Gebser and Tomi Janhunen and Max Ostrowski and Torsten Schaub and Sven Thiele",
year = "2008",
language = "English",
series = "Technical Report",
publisher = "University of New South Wales",
number = "UNSW-CSE-TR-0819",
pages = "150--159",
editor = "Maurice Pagnucco and Michael Thielscher",
booktitle = "The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008",
address = "Australia",
}