Opening the AC-Unification Race. - Hans-Jürgen Bürckert; Alexander Herold; Deepak Kapur; Jörg H. Siekmann; Mark E. Stickel; Michael Tepp; Hantao Zhang 001 (J. Autom. Reason., 1988)