@article{DBLP:journals/aicom/GebserSS11, title = {An incremental answer set programming based system for finite model computation}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, journal = {{AI} Commun.}, number = {2}, pages = {195--212}, volume = {24}, year = {2011} }