Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.

William McCune, Larry Wos

Browse the full LPAR paper archive.