"Optimized Algorithms for Incremental Analysis of Logic Programs."

Germán Puebla, Manuel V. Hermenegildo (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics