A. Biere, M. Heule, T. Hans-van-maaren, and . Walsh, Handbook of Satisfiability, vol.185, 2009.

S. Roderick-bloem, A. Jacobs, I. Khalimov, S. Konnov, H. Rubin et al., Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory, 2015.

C. Baier and J. Katoen, Principles of model checking, 2008.

E. M. Clarke, O. Grumberg, and D. A. Peled, Model checking, 2001.

E. M. Clarke, O. Grumberg, and D. Kroening, Doron Peled, and Helmut Veith. Model checking, 2018.

D. Kroening and O. Strichman, Decision Procedures -An Algorithmic Point of View, Second Edition. Texts in Theoretical Computer Science, An EATCS Series, 2016.