RISC JKU
  • @article{RISC6260,
    author = {Besik Dundua and Temur Kutsia and Mircea Marin},
    title = {{Variadic equational matching in associative and commutative theories}},
    language = {english},
    journal = {Journal of Symbolic Computation},
    volume = {106},
    pages = {78--109},
    publisher = {Elsevier},
    isbn_issn = {ISSN 0747-7171},
    year = {2021},
    refereed = {yes},
    length = {32},
    url = {https://doi.org/10.1016/j.jsc.2021.01.001}
    }