Amir Hashemi and Benyamin M.-Alizadeh
"Applying IsRewritten Criterion on Buchberger Algorithm"
Theoretical Computer Science, Volume 412, Issue 35, pages 4592--4603, 2011
تحت نظارت وف ایرانی
