Thomas Beth Jörn Müller-Quade Rainer Steinwandt Computing restrictions of ideals in finitely generated <i>k</i>-algebras by means of Buchberger's algorithm. 372-380 2006 41 J. Symb. Comput. 3-4 http://dx.doi.org/10.1016/j.jsc.2005.09.010 db/journals/jsc/jsc41.html#BethMS06