William McCune Automated Discovery of New Axiomatizations of the Left Group and Right Group Calculi. 1-24 1992 9 J. Autom. Reasoning 1 db/journals/jar/jar9.html#McCune92