@article{Gramlich_2012,
    doi = {10.1016/j.tcs.2012.09.008},
    url = {https://doi.org/10.1016%2Fj.tcs.2012.09.008},
    year = {2012},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {464},
    pages = {3--19},
    author = {Bernhard Gramlich},
    title = {Modularity in term rewriting revisited},
    journal = {Theoretical Computer Science}
}

@article{Gramlich_2012, doi = {10.1016/j.tcs.2012.09.008}, url = {https://doi.org/10.1016%2Fj.tcs.2012.09.008}, year = {2012}, month = {dec}, publisher = {Elsevier {BV}}, volume = {464}, pages = {3--19}, author = {Bernhard Gramlich}, title = {Modularity in term rewriting revisited}, journal = {Theoretical Computer Science} }