@inproceedings{DBLP:conf/lpnmr/GebserST07, title = {GrinGo : {A} New Grounder for Answer Set Programming}, author = {Gebser, Martin and Schaub, Torsten and Thiele, Sven}, booktitle = {{LPNMR}}, pages = {266--271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4483}, year = {2007} }