@inproceedings{TEMP:conf/kr/GebserJOST08, author = {Gebser, Martin and Janhunen, Tomi and Ostrowski, Max and Schaub, Torsten and Thiele, Sven}, title = {A Versatile Intermediate Language for Answer Set Programming}, pages = {150--159}, year = {2008}, booktitle = {{NMR@KR}}, series = {School of Computer Science and Engineering, The University of New South Wales, Technical Report Series} }