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