Combinatory forms for equational programming: Instances, unification and narrowing (1990)

by M Bellia, M Bugliesi
Venue:15th Colloquium on Trees in Algebra and Programming