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