@InProceedings{CM+04,
    Author       = "Colton, S. and Meier, A. and Sorge, V. and McCasland, R.",
    Year         = "2004",
    Title        = "{Automatic Generation of Classification Theorems for
                    Finite Algebras}",
    Editor       = "Rusinowitch, M. and Basin, D.",
    BookTitle    = "{Proceedings of the 2nd International Joint Conference on
                    Automated Reasoning}",
    Place        = "Cork, Ireland",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "3097",
    Pages        = "400-414",
    Comment      = "TPTPCite"
}