The Classical Decision Problem (1996)

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