fi-reductions and fi-developments of -terms with the least number of steps (1990)

by Z Khasidashvili
Venue:In Proc. of International Conference on Computer Logic, COLOG'88, P. Martin-Lof and G. Mints, eds., Springer LNCS