Vágvölgyi Sándor: Some decidability results on one-pass reductions.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 105. pp. 47-74. ISSN 2352-2208 (2019)