Strong completeness of a lazy conditional narrowing calculus (1997)

by M Hamada, A Middeldorp
Venue:Functional and Logic Programming