@phdthesis{Wendler2017, author = {Philipp Wendler}, title = {Towards Practical Predicate Analysis}, pages = {xii, 212 Seiten}, school = {Universit{\"a}t Passau}, year = {2017}, }