Certifying solutions to permutation group problems (2003)

by A Cohen, S Murray, M Pollet, V Sorge
Venue:In F. Baader (Ed.), 19th Conference on Automated Deduction (CADE19