@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}
}