@InProceedings{FSB93,
    Author       = "Fujita, M. and Slaney, J.K. and Bennett, F.",
    Year         = "1993",
    Title        = "{Automatic Generation of Some Results in Finite Algebra}",
    Editor       = "Bajcsy, R.",
    BookTitle    = "{Proceedings of the 13th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Chambery, France",
    Pages        = "52-57",
    Publisher    = "Morgan Kaufmann",
    Comment      = "TPTPRef"
}