Vladimir P. Gerdt and Amir Hashemi and Benyamin M.-Alizadeh
"Involutive Bases Algorithm Incorporating F5 Criterion"
Journal of Symbolic Computation, Volume 59, pages 1--20, 2013
تحت نظارت وف ایرانی
