Formal algorithmic elimination for PDEs - Robertz, Daniel 1977- (Springer, 2014)