Amir Hashemi, Matthias Orth, Werner M. Seiler: Relative Gröbner and Involutive Bases for Ideals in Quotient Rings. Math. Comput. Sci. 15(3): 453-482 (2021)