Incremental Analysis of Logic Programs with Assertions and Open Predicates.

Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.