The Classical Decision Problem (1997)

by E B örger, E Gr ädel, Y Gurevich