Visually Dynamic Presentation of Proofs in Plane Geometry Zheng YeShang-Ching ChouXiao-Shan Gao OriginalPaper 18 December 2009 Pages: 213 - 241
Visually Dynamic Presentation of Proofs in Plane Geometry Zheng YeShang-Ching ChouXiao-Shan Gao OriginalPaper 23 December 2009 Pages: 243 - 266
A Formalization of the Knuth–Bendix(–Huet) Critical Pair Theorem André L. GaldinoMauricio Ayala-Rincón OriginalPaper 21 January 2010 Pages: 301 - 325