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)