AC-Unification Race: The System Solving Approach And Its Implementation. - Mohamed Adi; Claude Kirchner (DISCO, 1990)

AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. - Mohamed Adi; Claude Kirchner (J. Symb. Comput., 1992)