E. Orlandelli and M. Tesi, “A Syntactic Proof of the Decidability of First-Order Monadic Logic”, B Sect Log, p. 22 pp., Feb. 2024.