1. Lecture Notes in Computer Science;PA Abdulla,2007
2. Lecture Notes in Computer Science;PA Abdulla,2008
3. Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., Rossi, G.P.: Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. JSAT 8(1/2), 29–61 (2012)
4. Lecture Notes in Computer Science;S Conchon,2012
5. Conchon, S., Goel, A., Krstic, S., Mebsout, A., Zaidi, F.: Invariants for finite instances and beyond. In: FMCAD 2013, Portland, OR, USA, October 20–23 (2013)