Perpetual reductions in orthogonal combinatory reduction systems (1993)

by Z Khasidashvili