Limiting until in ordered tree query languages - Benedikt, M; Ley, C (ACM Transaction on Computational Logic, 2016)