AC-complete unification and its application to theorem proving (1996)

by A Boudet, E Contejean, C Marche
Venue:In Proceedings of the 7th International Conference on Rewriting Techniques and Applications