Practical model-based static analysis for definite logic programs (1995)

by J Gallagher, D Boulanger, H Saˇglam
Venue:Proc. ILPS’95