The Loop Absorption and the Generalization Strategies for the Development (1993)

by M Proietti, A Pettorossi
Venue:of Logic Programs and Partial Deduction” Journal of Logic Programming