LARA This is an old revision of the document! Classical Decision Problem Decidable Classes of First-Order and Fixpoint Logics