Jacobs, S. (2010). Hierarchic Decision Procedures for Verification. PhD Thesis, Universität des Saarlandes, Saarbrücken.