Automated discovery of new axiomatizations of the left group and right group calculi (1992)

by W McCune
Venue:Journal of Automated Reasoning