with Sernadas, C. , Sernadas, A. , 2015, A roadmap to decidability, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 423-445.