Computer proofs in group theory (1990)

by Yuan Yu
Venue:Journal of Automated Reasoning