@article{GebserSabuncuSchaub2011,
  author    = {Martin Gebser and Orkunt Sabuncu and Torsten H. Schaub},
  title     = {An incremental answer set programming based system for finite model computation},
  journal   = {AI communications : AICOM ; the European journal on artificial intelligence},
  volume    = {24},
  number    = {2},
  pages     = {195 -- 212},
  doi       = {10.3233/AIC-2011-0496},
  year      = {2011},
}