E.: Completeness results for basic narrowing (1994)

by A Middeldorp, Hamoen
Venue:Appl. Algebra Eng. Commun. Comput