Single Axioms for the Left Group And Single Axioms for the Left Group and Right Group CalculiWil liam W McCuneMathematics and Computer Science DivisionArgonne National Lab oratoryArgonne Illinois U S A phone e mail mccune mcs anl govMarch