Real-time, constant-space, constant-randomness verifiers. - M. Utkan Gezer; Özdeniz Dolu; Nevzat Ersoy; A. C. Cem Say (Theor. Comput. Sci., 2023)