@inproceedings{DBLP:conf/lpnmr/GebserKOST09, title = {On the Input Language of {ASP} Grounder Gringo}, author = {Gebser, Martin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Thiele, Sven}, booktitle = {{LPNMR}}, pages = {502--508}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5753}, year = {2009} }