A Deductive Database of the Groups of Order Dividing 128. - Gregory Butler; Sridhar S. Iyer; Susan H. Ley (ISSAC, 1991)