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