S.: Engineering an incremental ASP solver (2008)

by M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, Thiele
Venue:ICLP 2008. LNCS