1. Birgit Reinert and Dirk Zeckzer, Coset enumeration using prefix Gröbner bases: an experimental approach, LMS J. Comput. Math. 4 (2001), 74–134 (electronic).[MR/link]