Higher-order E-unification (1990)

by W Snyder
Venue:Proceedings 10th International Conference on Automated Deduction