1. Arjeh Cohen, Scott H. Murray, Martin Pollet, and Volker Sorge, Certifying solutions to permutation group problems, Automated Deduction - CADE-19, Lecture Notes in Computer Science, vol. 2741, Springer Berlin/Heidelberg, 2003, pp. 258–273.