@inproceedings{inproceedings, title  = {{Rensets and renaming-based recursion for syntax with bindings}},

 publisher = {{Springer International Publishing}},

 url = {{}},

 year = {{2022}},

 month = {{8}},

 author = {{Popescu A}},

 doi = {{10.1007/978-3-031-10769-6_36}},

 isbn = {{9783031107689}},

 journal = {{Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings}},

 pages = {{618-639}},

 note = {{Accessed on 2024/12/23}}}