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