Unification in Finite Algebras is Unitary (?)

Wolfram Büttner. Unification in Finite Algebras is Unitary (?). In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 368-377, Springer, 1988.

Abstract

Abstract is missing.