Andreas Blass Yuri Gurevich On Matijasevitch's Nontraditional Approach to Search Problems. 41-45 1989 32 Inf. Process. Lett. 1 db/journals/ipl/ipl32.html#BlassG89