Relative Grobner and Involutive Bases for Ideals in Quotient Rings - - Computer Algebra in Scientific Computing 2020 doi 2020-09 Article type Conference