Suda, M. (2015). Resolution-based Methods for Linear Temporal Reasoning. PhD Thesis, Universität des Saarlandes, Saarbrücken.