The classical decision problems (1997)

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