@article{BSL_2024_53_2_a4,
     author = {Orlandelli, Eugenio and Tesi, Matteo},
     title = {A {Syntactic} {Proof} of the {Decidability} of {First-Order} {Monadic} {Logic}},
     journal = {Bulletin of the Section of Logic},
     pages = {223--244},
     publisher = {mathdoc},
     volume = {53},
     number = {2},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2024_53_2_a4/}
}