E. Orlandelli and M. Tesi, “A Syntactic Proof of the Decidability of First-Order Monadic Logic”, B Sect Log, vol. 53, no. 2, pp. 223–244, Feb. 2024.