Armando, A., Ranise, S., Rusinowitch, M., A rewriting approach to satisfiability procedures (2003) Information and Computation, 183 (2), pp. 140-164
Conchon, S., Krstić, S., Strategies for combining decision procedures (2003) Lecture Notes in Computer Science, 2619, pp. 537-553. , P. Narendran M. Rusinowitch, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (Warsaw, Poland), Springer-Verlag, Apr
Fontaine, P., Gribomont, E.P., Decidability of invariant validation for paramaterized systems (2003) Lecture Notes in Computer Science, 2619, pp. 97-112. , Proc. Tools and Algorithms for Construction and Analysis of Systems, Springer-Verlag
Ganzinger, H., Shostak light (2002) Lecture Notes in Computer Science, 2392, pp. 332-346. , A. Voronkov, Automated Deduction - CADE-18, July 27-30, Springer-Verlag
Manna, Z., Zarba, C.G., Combining decision procedures (2003) Lecture Notes in Computer Science, 2757, pp. 381-422. , Formal Methods at the Cross Roads: From Panacea to Foundational Support, Springer
Nelson, G., Oppen, D.C., Simplifications by cooperating decision procedures (1979) ACM Transactions on Programming Languages and Systems, 1 (2), pp. 245-257
Oppen, D.C., Reasoning about recursively defined data structures (1980) Journal of the ACM, 27 (3), pp. 403-411
Stump, A., Barrett, C.W., Dill, D.L., Levitt, J.R., A decision procedure for an extensional theory of arrays (2001) 16th Annual IEEE Symposium on Logic in Computer Science, pp. 29-37. , (LICS '01), Washington - Brussels - Tokyo IEEE
Tinelli, C., Zarba, C.G., Combining non-stably infinite theories (2003) Electronic Notes in Theoretical Computer Science, , I. Dahn L. Vigneron, Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03 (Valencia, Spain), volume 86.1
Tinelli, C., Zarba, C.G., Combining decision procedures for theories in sorted logics (2004) Technical Report, 4 (1). , Department of Computer Science, The University of Iowa, Feb
Zarba, C.G., Combining sets with elements (2004) Lecture Notes in Computer Science, 2772, pp. 762-782. , N. Dershowitz, Verification: Theory and Practice, Springer
