@article{Aceto_2014,
    title = {SOS rule formats for idempotent terms and idempotent unary operators},
    volume = {83},
    issn = {1567-8326},
    url = {http://dx.doi.org/10.1016/j.jlap.2013.07.003},
    doi = {10.1016/j.jlap.2013.07.003},
    number = {1},
    journal = {The Journal of Logic and Algebraic Programming},
    publisher = {Elsevier BV},
    author = {Aceto, Luca and Ingolfsdottir, Anna and Goriac, Eugen-Ioan},
    year = {2014},
    month = {jan},
    pages = {64–80},
    date-added = {2026-3-30 8:51:52 +0100}
}

@article{Aceto_2014, title = {SOS rule formats for idempotent terms and idempotent unary operators}, volume = {83}, issn = {1567-8326}, url = {http://dx.doi.org/10.1016/j.jlap.2013.07.003}, doi = {10.1016/j.jlap.2013.07.003}, number = {1}, journal = {The Journal of Logic and Algebraic Programming}, publisher = {Elsevier BV}, author = {Aceto, Luca and Ingolfsdottir, Anna and Goriac, Eugen-Ioan}, year = {2014}, month = {jan}, pages = {64–80}, date-added = {2026-3-30 8:51:52 +0100} }