Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. - Igor Gammer; Eyal Amir (SARA, 2007)