Classical decision problem - Borger, Egon; Gradel, Erich; Gurevich, Yuri (Berlin Springer-Verlag, 1997)
Keywords: Decision problem; Mathematical logic