@Article{Pas93,
    Author       = "Pastre, D.",
    Year         = "1993",
    Title        = "{Automated Theorem Proving in Mathematics}",
    Journal      = "Annals of Mathematics and Artificial Intelligence",
    Volume       = "8",
    Pages        = "425-447",
    Comment      = ""
}