Narrowing Derivations 3rd International Conference on Algebraic and Logic Programming" (ALP'92), Springer LNCS 632, 1992

(1992)