Journal article

Differential methods in logic program analysis

MG de la Banda, K Marriott, P Stuckey, H Sondergaard

The Journal of Logic Programming | ELSEVIER SCIENCE INC | Published : 1998