Gregory Butler, Sridhar S. Iyer. Towards a deductive database for small simple groups. ACM Comm. Computer Algebra, 25(4):7-17, 1991. [doi]
@article{ButlerI91,
title = {Towards a deductive database for small simple groups},
author = {Gregory Butler and Sridhar S. Iyer},
year = {1991},
doi = {10.1145/122508.122511},
url = {http://doi.acm.org/10.1145/122508.122511},
researchr = {https://researchr.org/publication/ButlerI91},
cites = {0},
citedby = {0},
journal = {ACM Comm. Computer Algebra},
volume = {25},
number = {4},
pages = {7-17},
}