1. Mohamed Adi and Claude Kirchner. AC-unification race: the system solving approach. In Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems, LNCS 429, 1990.
2. Alexandre Boudet. Competing for the AC-unification race. Journal of Automated Reasoning, 11:185–212, 1993.
3. Alexandre Boudet, Evelyne Contejean, and Hervé Devie. A new AC-unification algorithm with a new algorithm for solving diophantine equations. In Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, June 1990.
4. Hans-Jurgen Bürckert, Alexander Herold, Deepak Kapur, Jorg H. Siekmann, Mark E. Stickel, Michael Tepp, and Hantao Zhang. Opening the AC-unification race. Journal of Automated Reasoning, 4(4):465–474, December 1988.
5. Jim Christian and Patrick Lincoln. Adventures in associative-commutative unification. Technical Report ACA-ST-275-87, MCC, AI Program Austin, Austin, October 1987.