Clark W. Barrett, Cesare Tinelli: Satisfiability Modulo Theories. Handbook of Model Checking 2018: 305-343