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