A General Complete E-Unification Procedure

J. Gallier,Wayne Snyder
DOI: https://doi.org/10.1007/3-540-17220-3_19
1987-05-25
Abstract:
What problem does this paper attempt to address?