1. Ariane Péladan-Germa, Testing equality in differential ring extensions defined by PDE's and limit conditions, Appl. Algebra Engrg. Comm. Comput. 13 (2002), no. 4, 257–288.[MR]