Kazakov, Yevgeny Programming Logics, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
http://scidok.sulb.uni-saarland.de/volltexte/2007/1137/ (Any fulltext)
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (Copyright transfer agreement)
YevgenyThesis.pdf (Any fulltext), 3MB
Kazakov, Y. (2006). Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment. PhD Thesis, Universität des Saarlandes, Saarbrücken.