@InProceedings{gejaosscth08b,
  author =	 "M. Gebser and T. Janhunen and M. Ostrowski and T. Schaub and S. Thiele",
  title =	 "A Versatile Intermediate Language for Answer Set Programming",
  pages =	 "150-159",
  crossref =	 "nmr08"
}
@Proceedings{nmr08,
  title =	 "Proceedings of the Twelfth International Workshop on
                  Nonmonotonic Reasoning (NMR'08)",
  booktitle =	 "Proceedings of the Twelfth International Workshop on
                  Nonmonotonic Reasoning (NMR'08)",
  editor =	 "M. Pagnucco and M. Thielscher",
  year =	 2008,
  series =	 "School of Computer Science and Engineering,
                  The University of New South Wales,                  
                  Technical Report Series",
  number =	 "UNSW-CSE-TR-0819"
}