Pablo Barceló Markus Kröll Reinhard Pichler Sebastian Skritek Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection. 8:1-8:44 2018 43 ACM Trans. Database Syst. 2 https://doi.org/10.1145/3233983 https://www.wikidata.org/entity/Q129351461 db/journals/tods/tods43.html#BarceloKPS18