Orlandelli, Eugenio, and Matteo Tesi. “A Syntactic Proof of the Decidability of First-Order Monadic Logic”. Bulletin of the Section of Logic 53, no. 2 (February 9, 2024): 223–244. Accessed December 8, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/18448.