Single axioms for groups and Abelian groups with various operations William W. McCune Studies In Automated Reasoning Pages: 1 - 13
Fuzzy operator logic and fuzzy resolution Thomas J. WeigertJing-Pha TsaiXuhua Liu OriginalPaper Pages: 59 - 78
Simplification in a satisfiability checker for VLSI applications Frank Vlach OriginalPaper Pages: 115 - 136