"Buchberger algorithm for complexes" - читать интересную книгу автора (LaScala.)