Unification in a combination of equational theories: An efficient algorithm (1990)

by A Boudet
Venue:Proceedings of the 10th International Conference on Automated Deduction, volume 449 of Lecture Notes in Artificial Intelligence