Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
http://scidok.sulb.uni-saarland.de/volltexte/2010/3282/ (beliebiger Volltext)
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (Verlagsvertrag)
Horbach, M. (2010). Saturation-based Decision Procedures for Fixed Domain and Minimal Model Semantics. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-25997.