Regina Llopis de Trias U. Simon Bolivar An Overview of Completion Algorithms. 424-428 1985 conf/eurocal/1985-2 European Conference on Computer Algebra (2) db/conf/eurocal/eurocal1985-2.html#TriasB85 https://doi.org/10.1007/3-540-15984-3_303