Rüdiger Gebauer, H. Michael Möller. Buchberger's algorithm and staggered linear bases. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 218-221, ACM, 1986. [doi]
Abstract is missing.