Orlandelli, Eugenio, and Matteo Tesi. “A Syntactic Proof of the Decidability of First-Order Monadic Logic”. Bulletin of the Section of Logic, vol. 53, no. 2, Feb. 2024, pp. 223-44, doi:10.18778/0138-0680.2024.03.