Improving Basic Narrowing Techniques (1987)

by Pierre Réty
Venue:In RTA. LNCS 256