@inproceedings{DBLP:conf/lpnmr/GebserKKS11, title = {Advances in gringo Series 3}, author = {Gebser, Martin and Kaminski, Roland and K{\"{o}}nig, Arne and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {345--351}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6645}, year = {2011} }