Wu, Jinzhao Programming Logics, MPI for Informatics, Max Planck Society;
Wu, J. (2000). First-Order Polynomial based Theorem Proving. In X.-S. Gao, & D. Wang (Eds.), Mathematics Mechanizations and Applications (pp. 273-294). San Diego, USA: Academic Press.