Serge V. Paramonov. On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. Volume 8660 of Lecture Notes in Computer Science, pages 350-356, Springer, 2014. [doi]