ORLANDELLI, E.; TESI, M. A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic, [S. l.], p. 22 pp., 2024. DOI: 10.18778/0138-0680.2024.03. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/18448. Acesso em: 9 may. 2024.