Franz Winkler Ekaterina Shemyakova Symbolic and Algebraic Methods for Linear Partial Differential Operators. 423 2007 conf/casc/2007 CASC http://dx.doi.org/10.1007/978-3-540-75187-8_33 db/conf/casc/casc2007.html#WinklerS07