1. Armando A., Ranise S., Rusinowitch M.: A rewriting approach to satisfiability procedures. Inform. Comput. 183(2), 140–164 (2003)
2. Armando A., Bonacina M.P., Ranise S., Schulz S.: On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal. In: Gramlich, B.(eds) Proceedings of FroCoS (Frontiers of Combining Systems). Lecture Notes in Computer Science, vol. 3717, pp. 65–80. Springer, Berlin (2005)
3. Ball T., Rajamani S.K.: Automatically validating temporal safety properties of interfaces. In: Dwyer, M.B.(eds) Proceedings of SPIN (International SPIN Workshop). Lecture Notes in Computer Science, vol. 2057, pp. 103–122. Springer, Berlin (2001)
4. Barrett C., De Moura L., Stump A.: SMT-COMP: satisfiability modulo theories competition. In: Etessami, K., Rajamani, S.K.(eds) Proceedings of CAV (Computer Aided Verification). Lecture Notes in Computer Science, vol. 3576, pp. 20–23. Springer, Berlin (2005)
5. Barrett C., Berezin S.: CVC Lite: A new implementation of the cooperating validity checker. In: Alur, R., Peled, D.(eds) Proceedings of CAV (Computer Aided Verification). Lecture Notes in Computer Science, vol. 3114, pp. 515–518. Springer, Berlin (2004)