@article{Gunther_2018,
    doi = {10.1016/j.entcs.2018.10.010},
    url = {https://doi.org/10.1016%2Fj.entcs.2018.10.010},
    year = {2018},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {338},
    pages = {147--166},
    author = {Emmanuel Gunther and Alejandro Gadea and Miguel Pagano},
    title = {Formalization of Universal Algebra in Agda},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Gunther_2018, doi = {10.1016/j.entcs.2018.10.010}, url = {https://doi.org/10.1016%2Fj.entcs.2018.10.010}, year = {2018}, month = {oct}, publisher = {Elsevier {BV}}, volume = {338}, pages = {147--166}, author = {Emmanuel Gunther and Alejandro Gadea and Miguel Pagano}, title = {Formalization of Universal Algebra in Agda}, journal = {Electronic Notes in Theoretical Computer Science} }