Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry Li HongboCheng Minteh OriginalPaper Pages: 1 - 21
A Framework for Automated Reasoning in Multiple-Valued Logics James J. LuNeil V. MurrayErik Rosenthal OriginalPaper Pages: 39 - 67