@article{Huynh_1986,
    doi = {10.1016/s0019-9958(86)80035-3},
    url = {https://doi.org/10.1016%2Fs0019-9958%2886%2980035-3},
    year = {1986},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {68},
    number = {1-3},
    pages = {196--206},
    author = {Dung T. Huynh},
    title = {A superexponential lower bound for Gröbner bases and Church-Rosser commutative thue systems},
    journal = {Information and Control}
}

@article{Huynh_1986, doi = {10.1016/s0019-9958(86)80035-3}, url = {https://doi.org/10.1016%2Fs0019-9958%2886%2980035-3}, year = {1986}, month = {jan}, publisher = {Elsevier {BV}}, volume = {68}, number = {1-3}, pages = {196--206}, author = {Dung T. Huynh}, title = {A superexponential lower bound for Gröbner bases and Church-Rosser commutative thue systems}, journal = {Information and Control} }