Issledovani︠i︡a po konstruktivnoĭ matematike i matematicheskoĭ logike - Slisenko, A. O.; Mati︠i︡asevich, ︠I︡U. V. (︠I︡Uriĭ V.) (Zapiski nauchnykh seminarov Leningradskogo otdeleni︠i︡a Matematicheskogo instituta im. V.A. Steklova AN SSSR (LOMI), 1967)