Word unification and transformation of generalized equations (1993)

by Klaus U Schulz
Venue:Journal of Automated Reasoning