Matthias Horbach: Saturation-based decision procedures for fixed domain and minimal model validity. Saarland University 2010