Armin Biere, Daniel Kröning: SAT-Based Model Checking. Handbook of Model Checking 2018: 277-303