1. A rewriting approach to satisfiability procedures;Armando;Inf. Comput.,2003
2. Combining constraint solving;Baader,1999
3. Satisfiability modulo theories;Barrett,2009
4. An abstract decision procedure for satisfiability in the theory of inductive data types;Barrett;J. Satisf. Boolean Model. Comput.,2007
5. Satisfiability modulo theories;Barrett,2014