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