S.: Engineering an incremental ASP solver (0)

by M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, Thiele
Venue:Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP’08). Springer-Verlag (2008) 190–205