Combination of Theories

[1]  Harald Ganzinger,et al.  Modular proof systems for partial functions with Evans equality , 2006, Inf. Comput..

[2]  Calogero G. Zarba,et al.  Combining Decision Procedures for Sorted Theories , 2004, JELIA.

[3]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[4]  João Rasga,et al.  Many-Sorted Equivalence of Shiny and Strongly Polite Theories , 2018, Journal of Automated Reasoning.

[5]  Marco Bozzano,et al.  Efficient theory combination via boolean search , 2006, Inf. Comput..

[6]  Alan J. Hu,et al.  A Scalable Memory Model for Low-Level Code , 2008, VMCAI.

[7]  Christophe Ringeissen,et al.  A Gentle Non-disjoint Combination of Satisfiability Procedures , 2014, IJCAR.

[8]  Cesare Tinelli,et al.  Splitting on Demand in SAT Modulo Theories , 2006, LPAR.

[9]  Robert E. Shostak,et al.  An algorithm for reasoning about equality , 1977, CACM.

[10]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[11]  Clark W. Barrett,et al.  Sharing Is Caring: Combination of Theories , 2011, FroCoS.

[12]  Derek C. Oppen,et al.  Complexity, Convexity and Combinations of Theories , 1980, Theor. Comput. Sci..

[13]  Cesare Tinelli,et al.  A New Correctness Proof of the {Nelson-Oppen} Combination Procedure , 1996, FroCoS.

[14]  Nikolaj Bjørner,et al.  Model-based Theory Combination , 2008, SMT@CAV.

[15]  Calogero G. Zarba,et al.  Combining Nonstably Infinite Theories , 2005, Journal of Automated Reasoning.

[16]  Clark W. Barrett,et al.  Polite Theories Revisited , 2010, LPAR.