The following publications are possibly variants of this publication:
- Efficient Interpolant Generation in Satisfiability Modulo TheoriesAlessandro Cimatti, Alberto Griggio, Roberto Sebastiani. TACAS 2008: 397-412 [doi]
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer ArithmeticAlberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani. TACAS 2011: 143-157 [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. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 825-885, IOS Press, 2009. [doi]