Formal Algorithmic Elimination for PDEs - Robertz, Daniel (Springer International Publishing : Imprint: Springer, 2014)