Idempotent Anti-unification

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

Original language	English
Article number	10
Pages (from-to)	10:1-10:32
Number of pages	32
Journal	ACM Transactions on Computational Logics
Volume	21
Issue number	2
DOIs	https://doi.org/10.1145/3359060
Publication status	Published - 2020

Fields of science

@article{b309db40f328436781d9578d4a58410c,

title = "Idempotent Anti-unification",

author = "David Cerna and Teimuraz Kutsia",

year = "2020",

doi = "10.1145/3359060",

language = "English",

volume = "21",

pages = "10:1--10:32",

journal = "ACM Transactions on Computational Logics",

issn = "1529-3785",

publisher = "ACM Press",

number = "2",

}