A Deductive Database of the Groups of Order Dividing 128.

Gregory Butler, Sridhar S. Iyer, Susan H. Ley

Browse the full ISSAC paper archive.