A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems Dung T. Huynh 196-206 Information and Control January/February/March 1986 68 1-3 db/journals/iandc/iandc68.html#Huynh86