On the Completeness of Narrowing as the Operational (1993)

by J C Gonz'alez-Moreno, M T Hortal'a-Gonz'alez, M Rodr'iguez-Artalejo
Venue:Semantics of Functional Logic Programming. Procs. CSL'92, Springer LNCS 702