The Symbolic Integration of Exact PDEs