Kenneth L. McMillan: Interpolation and Model Checking. Handbook of Model Checking 2018: 421-446