Относительно обзорная статья по методам приближённых базисов Грёбнера, с упоминанием модулрных