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