@InCollection{SB+03,
    Author       = "Siekman, J. and Benzm{\"u}ller, C. and Fiedler, A. and
                    Meier A. and Normann, I. and Pollet, M.",
    Year         = "2003",
    Title        = "{Proof Development with Omega: The Irrationality of Root2}",
    Editor       = "Kamareddine, F.",
    BookTitle    = "{Thirty Five Years of Automating Mathematics}",
    Series       = "Kluwer Applied Logic Series",
    Number       = "28",
    Pages        = "271-314",
    Publisher    = "Kluwer Academic Publishers",
    Comment      = "TPTPRef"
}