Certified First-Order AC-Unification and Applications

M. Ayala-Rincón, Maribel Fernández, Gabriela Silva, Teimuraz Kutsia, Daniele Nantes-Sobrinho

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	25
Pages (from-to)	25:1--25:48
Journal	Journal of Automated Reasoning
Volume	68
Issue number	4
DOIs	https://doi.org/10.1007/s10817-024-09714-5
Publication status	Published - 2024

Fields of science

@article{26d2b510cc0643f3ab5841e86aba88df,

title = "Certified First-Order AC-Unification and Applications",

author = "M. Ayala-Rinc{\'o}n and Maribel Fern{\'a}ndez and Gabriela Silva and Teimuraz Kutsia and Daniele Nantes-Sobrinho",

year = "2024",

doi = "10.1007/s10817-024-09714-5",

language = "English",

volume = "68",

pages = "25:1----25:48",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "4",

}

TY - JOUR

T1 - Certified First-Order AC-Unification and Applications

AU - Ayala-Rincón, M.

AU - Fernández, Maribel

AU - Silva, Gabriela

AU - Kutsia, Teimuraz

AU - Nantes-Sobrinho, Daniele

PY - 2024

Y1 - 2024

U2 - 10.1007/s10817-024-09714-5

DO - 10.1007/s10817-024-09714-5

M3 - Article

SN - 0168-7433

VL - 68

SP - 25:1--25:48

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 4

M1 - 25

ER -