1. Baader, F. and Tinelli, C.: A new approach for combining decision procedure for the word problem, and its connection to the Nelson–Oppen combination method, in W. McCune (ed.), Automated Deduction – CADE-14, Lecture Notes in Comput. Sci. 1249, Springer, 1997,pp. 19–33.
2. Barrett, C. W., Dill, D. L. and Stump, A.: A generalization of Shostak's method for combining decision procedures, in A. Armando (ed.), Frontiers of Combining Systems, Lecture Notes in Comput. Sci. 2309, Springer, 2002, pp. 132–146.
3. Bernays, P. and Schönfinkel, M.: Zum Entscheidungsproblem der mathematischen Logic, Math. Ann. 99 (1928), 342–372.
4. Cantone, D. and Zarba, C. G.: A decision procedure for monotone functions over lattices, in F. Buccafurri (ed.), Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003, pp. 1–12.
5. Craigen, D., Kromodimoeljo, S., Meisels, I., Pase, B. and Saaltink, M.: EVES: An overview, in S. Prehen and H. Toetenel (eds.), Formal Software Development Methods, Lecture Notes in Comput. Sci. 552, Springer, 1991, pp. 389–405.