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