Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. - Hongbo Li 012; Cheng Minteh (J. Autom. Reason., 1998)