@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}
}