@ARTICLE { AUTHOR = "Pablo Barcel{\'o} and Markus Kroell and Reinhard Pichler and Sebastian Skritek", TITLE ="Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection", JOURNAL = "Transactions on Database Systems (TODS)", VOLUME = "43", NUMBER = "2", PAGES = "article 8", YEAR = "2018", PUBLISHER = "ACM Press", ADDRESS = "New York, NY, USA", ISSN = "0362-5915" }