@InProceedings{CBW99,
    Author       = "Colton, S. and Bundy, A. and Walsh, T.",
    Year         = "1999",
    Title        = "{Automatic Concept Formation in Pure Mathematics}",
    Editor       = "Dean, T.",
    BookTitle    = "{Proceedings of the 16th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Stockholm, Sweden",
    Pages        = "183-190",
    Publisher    = "Morgan Kaufmann",
    Comment      = ""
}