@inproceedings{DBLP:conf/iclp/GebserKKOST08,
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten and Thiele, Sven},
  title = {Engineering an Incremental {ASP} Solver},
  booktitle = {{ICLP}},
  series = {Lecture Notes in Computer Science},
  volume = {5366},
  pages = {190--205},
  publisher = {Springer},
  year = {2008}
}