1. MCMT: Model checker modulo theories. http://users.mat.unimi.it/users/ghilardi/mcmt/. Accessed 15 June 2020
2. Lecture Notes in Computer Science;WMP Aalst,2019
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. J. Satisf. Boolean Model. Comput. 8(1/2), 29–61 (2012)
4. Lecture Notes in Computer Science;A Artale,2019
5. Lecture Notes in Computer Science;K Batoulis,2017