Single axioms for the left group and right group calculi (1993)

by W McCune
Venue:Notre Dame J. Formal Logic