@misc{TEMP:misc/GebserJOST08,
  title = {A Versatile Intermediate Language for Answer Set Programming: Syntax Proposal},
  author = {Gebser, Martin and Janhunen, Tomi and Ostrowski, Max and Schaub, Torsten and Thiele, Sven},
  howpublished = {Unpublished draft},
  year = {2008}
}