A technical note on AC-Unification. The number of minimal unifiers of the equation ?x1 + ? + ?xp ?AC ?y1 + ? + ?yq
- 1 February 1992
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 8 (1)
- https://doi.org/10.1007/bf00263448
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: