@article{stratulat:hal-03688845, TITLE = {{R{\'e}currence noeth{\'e}rienne pour le raisonnement de premier ordre}}, AUTHOR = {Stratulat, Sorin}, URL = {https://inria.hal.science/hal-03688845}, JOURNAL = {{1024 : Bulletin de la Soci{\'e}t{\'e} Informatique de France}}, PUBLISHER = {{Soci{\'e}t{\'e} Informatique de France}}, NUMBER = {19}, PAGES = {157-169}, YEAR = {2022}, MONTH = Apr, DOI = {10.48556/SIF.1024.19.157}, PDF = {https://inria.hal.science/hal-03688845v2/file/Str__2022a.pdf}, HAL_ID = {hal-03688845}, HAL_VERSION = {v2}, }