RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC5529,
    author = {David M. Cerna and Temur Kutsia},
    title = {{Idempotent Generalization is Infinitary}},
    language = {english},
    abstract = {Let §\mathbf{I}_{S}$ be an equational theory s.t. for each $f\in S$, $f(x,x)=x$. Such an equational theory is said to be {\em idempotent}. It is known that the anti-unification problem (AUP) $f(a,b) \triangleq g(a,b)$ modulo $\mathbf{I}_{\lbrace f,g \rbrace}$ admits infinitely many least-general generalizers (lggs)~\cite{LPottier1989}. We show that, modulo $\mathbf{I}_{\lbrace f\rbrace}$, $f(a,f(a,b)) \triangleq f(b,f(a,b))$ admits infinitely many lggs.},
    year = {2018},
    howpublished = {RISC Report},
    institution = {RISC},
    length = {1}