AC-unification race: The system solving approach, implementation and benchmarks
Associative-Commutative unification algorithm
scientific article; zbMATH DE number 94728
scientific article