Certified First-Order AC-Unification and Applications

Mauricio Ayala-Rincón, Maribel Fernandez, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho

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

48 Downloads (Pure)

Original language	English
Journal	JOURNAL OF AUTOMATED REASONING
Publication status	Accepted/In press - 1 Oct 2024

Access to Document

@article{1fe17ad12d7e439fa0ef33756adf6fad,

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

author = "Mauricio Ayala-Rinc{\'o}n and Maribel Fernandez and Silva, {Gabriel Ferreira} and Temur Kutsia and Daniele Nantes-Sobrinho",

year = "2024",

month = oct,

day = "1",

language = "English",

journal = "JOURNAL OF AUTOMATED REASONING",

issn = "0168-7433",

publisher = "Springer Netherlands",

}