Harry B. Hunt III, Richard Edwin Stearns. On the Complexity of Satisfiability Problems for Algebraic Structures (Preliminary Report). In Teo Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988, Proceedings. Volume 357 of Lecture Notes in Computer Science, pages 250-258, Springer, 1988.
Abstract is missing.