The classical decision problem - Börger, Egon; Grädel, Erich 1958-; Gurevich, Yuri (Springer, 2001)