RISC JKU
  • @techreport{RISC6884,
    author = {Mauricio Ayala-Rincón and David M. Cerna and Andres Felipe Gonzalez Barragan and Temur Kutsia},
    title = {{Equational Anti-Unification over Absorption Theories}},
    language = {english},
    year = {2023},
    institution = {arXiv:2310.11136},
    length = {23},
    url = {https://doi.org/10.48550/arXiv.2310.11136}
    }