Study on the Theorem Proving of Plance Pencil Equation. - GuoKun Xia; LinTao Kong; YinLi Liu; Jia Liao; RuiHai Zhang; Yingjie Zhu (ICICA (1), 2011)