Higher-Order E-Unification," in 10th International Conference on Automated Deduction, edited by (1990)

by Wayne Snyder
Venue:FRG, Lecture Notes in Artificial Intelligence 449