The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems (1994)

by Zurab Khasidashvili
Venue:In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS