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