Orlandelli, E., & Tesi, M. (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, 22 pp. https://doi.org/10.18778/0138-0680.2024.03