author = {Mauricio Ayala-Rincón and Maribel Fernández and Gabriel Ferreira Silva and Temur Kutsia and Daniele Nantes-Sobrinho},
title = {{Certified First-Order AC-Unification and Applications}},
language = {english},
journal = {Journal of Automated Reasoning},
volume = {68},
number = {4},
pages = {25:1--25:48},
isbn_issn = {ISSN 0168-7433},
year = {2024},
refereed = {yes},
length = {0},
url = {https://doi.org/10.1007/s10817-024-09714-5}