Orlandelli, E., and M. Tesi. “A Syntactic Proof of the Decidability of First-Order Monadic Logic”. Bulletin of the Section of Logic, Feb. 2024, p. 22 pp., doi:10.18778/0138-0680.2024.03.