The following publications are possibly variants of this publication:
- Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 825-885, IOS Press, 2009. [doi]
- Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1267-1329, IOS Press, 2021. [doi]
- Foundations of Satisfiability Modulo TheoriesCesare Tinelli. wollic 2010: 58 [doi]