Deductive Mathematical Databases - A Case Study. - Gregory Butler; Sridhar S. Iyer (SSDBM, 1990)

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

Towards a deductive database for small simple groups. - Gregory Butler; Sridhar S. Iyer (SIGSAM Bull., 1991)

A Database of Groups of Prime-power Order. - Gregory Butler; Sridhar S. Iyer; E. A. O'Brien (Softw. Pract. Exp., 1994)