%0 Conference Paper %1 conf/issac/ButlerIL91 %A Butler, Gregory %A Iyer, Sridhar S. %A Ley, Susan H. %B ISSAC %D 1991 %E Watt, Stephen M. %I ACM %K dblp %P 210-218 %T A Deductive Database of the Groups of Order Dividing 128. %U http://dblp.uni-trier.de/db/conf/issac/issac91.html#ButlerIL91 %@ 0-89791-437-6

@inproceedings{conf/issac/ButlerIL91, added-at = {2018-11-06T00:00:00.000+0100}, author = {Butler, Gregory and Iyer, Sridhar S. and Ley, Susan H.}, biburl = {https://www.bibsonomy.org/bibtex/27a07e8710d18c38091480b90fe63b0a3/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1991}, editor = {Watt, Stephen M.}, ee = {https://doi.org/10.1145/120694.120725}, interhash = {a5b0f8ee1d3ba749009ad40079a60fe8}, intrahash = {7a07e8710d18c38091480b90fe63b0a3}, isbn = {0-89791-437-6}, keywords = {dblp}, pages = {210-218}, publisher = {ACM}, timestamp = {2018-11-07T15:51:21.000+0100}, title = {A Deductive Database of the Groups of Order Dividing 128.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac91.html#ButlerIL91}, year = 1991 }