@article{GebserGharibSchaub2007,
  author    = {Martin Gebser and Mona Gharib and Torsten Schaub},
  title     = {Incremental answer sets and their computation},
  year      = {2007},
}