Limiting until in ordered tree query languages (ACM Transaction on Computational Logic, 2016)

(untitled) - Benedikt, M; Ley, C