Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele. Engineering an Incremental ASP Solver. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 190-205, Springer, 2008. [doi]
@inproceedings{GebserKKOST08,
title = {Engineering an Incremental ASP Solver},
author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Sven Thiele},
year = {2008},
doi = {10.1007/978-3-540-89982-2_23},
url = {http://dx.doi.org/10.1007/978-3-540-89982-2_23},
tags = {incremental},
researchr = {https://researchr.org/publication/GebserKKOST08},
cites = {0},
citedby = {0},
pages = {190-205},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings},
editor = {Maria Garcia de la Banda and Enrico Pontelli},
volume = {5366},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89981-5},
}