Markwig, T., Ren, Y., & Wienand, O. (2016). Standard bases in mixed power series and polynomial rings over rings. Journal of Symbolic Computation, 79, https://doi.org/10.1016/j.jsc.2016.08.009