Incremental Analysis of Logic Programs (1994)

by M Hermenegildo, K Marriott, G Puebla, P Stuckey