Ordinary Interactive Small-Step Algorithms (0)

by Andreas Blass, Yuri Gurevich
Venue:I,” A. C. M. Trans. Computational Logic