Canonical forms and unification (1980)

by J-M Hullot
Venue:Proceedings of the Fifth Conference on Automated Deduction, Les Arcs