@inproceedings{DBLP:conf/ijcai/GebserSS11, title = {Finite Model Computation via Answer Set Programming}, author = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten}, booktitle = {{IJCAI}}, pages = {2626--2631}, publisher = {{IJCAI/AAAI}}, year = {2011} }