@inproceedings{Dershowitz_1979,
    doi = {10.1109/sfcs.1979.32},
    url = {https://doi.org/10.1109%2Fsfcs.1979.32},
    year = {1979},
    month = {oct},
    publisher = {{IEEE}},
    author = {Nachum Dershowitz},
    title = {Orderings for term-rewriting systems},
    booktitle = {20th Annual Symposium on Foundations of Computer Science (sfcs 1979)}
}

@inproceedings{Dershowitz_1979, doi = {10.1109/sfcs.1979.32}, url = {https://doi.org/10.1109%2Fsfcs.1979.32}, year = {1979}, month = {oct}, publisher = {{IEEE}}, author = {Nachum Dershowitz}, title = {Orderings for term-rewriting systems}, booktitle = {20th Annual Symposium on Foundations of Computer Science (sfcs 1979)} }