Certifying solutions to permutation group problems (2003)

by A Cohen, S Murray, M Pollet, V Sorge
Venue:Proceedings of the 19th International Conference on Automated Deduction (CADE19), number 2741 in LNAI, Miami Beach, Fl