Orlandelli E, Tesi M. A Syntactic Proof of the Decidability of First-Order Monadic Logic. B Sect Log. 2024;53(2):223-244. doi:10.18778/0138-0680.2024.03