@inproceedings{DBLP:conf/jelia/GebserSS10, title = {An Incremental Answer Set Programming Based System for Finite ModelComputation}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, booktitle = {{JELIA}}, pages = {169--181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6341}, year = {2010} }