LARA This is an old revision of the document! Classical Decision Problem Decidable Classes of First-Order and Fixpoint Logics Egon Börger, Erich Grädel, Yuri Gurevich: The Classical Decision Problem, also on Google Books