Basic Narrowing Revisited (1989)

by W Nutt, P R'ety, G Smolka
Venue:Journal of Symbolic Computation