The longest perpetual reductions in orthogonal expression reduction systems (1994)

by Z Khasidashvili
Venue:3 rd International Conference on Logical Foundations of Computer Science, Logic at St Petersburg