Igor Gammer, Eyal Amir. Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. In Ian Miguel, Wheeler Ruml, editors, Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings. Volume 4612 of Lecture Notes in Computer Science, pages 169-183, Springer, 2007. [doi]
Abstract is missing.