@article {MR2438831,
    AUTHOR = {Feng, RuYong and Yu, JianPing},
     TITLE = {Mechanical theorem proving in the surfaces using the
              characteristic set method and {W}ronskian determinant},
   JOURNAL = {Sci. China Ser. A},
  FJOURNAL = {Science in China. Series A. Mathematics},
    VOLUME = {51},
      YEAR = {2008},
    NUMBER = {10},
     PAGES = {1763--1774},
      ISSN = {1006-9283},
   MRCLASS = {12H05 (53A05)},
  MRNUMBER = {2438831 (2010b:12004)},
MRREVIEWER = {Alain Salinier},
       DOI = {10.1007/s11425-008-0053-8},
       URL = {http://dx.doi.org/10.1007/s11425-008-0053-8},
}