Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). - Aart Middeldorp; Erik Hamoen (ALP, 1992)

Completeness Results for Basic Narrowing. - Aart Middeldorp; Erik Hamoen (Appl. Algebra Eng. Commun. Comput., 1994)