Orlandelli E, Tesi M. A Syntactic Proof of the Decidability of First-Order Monadic Logic. B Sect Log [Internet]. 2024 Feb. 9 [cited 2025 Dec. 9];53(2):223-44. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/18448