@InCollection{RS98,
    Author       = "Reif, W. and Schellhorn, G.",
    Year         = "1998",
    Title        = "{Theorem Proving in Large Theories}",
    Editor       = "Bibel, W. and Schmitt, P.H.",
    BookTitle    = "{Automated Deduction, A Basis for Applications}",
    Volume       = "III Applications",
    Series       = "Applied Logic Series",
    Number       = "10",
    Pages        = "225-241",
    Publisher    = "Kluwer Academic Publishers",
    Comment      = "TPTPCite"
}

@Article{RS98-IPL,
    Author       = "Ryan, P. and Schneider, S.",
    Year         = "1998",
    Title        = "{An Attack on a Recursive Authentication Protocol: A
                    Cautionary Tale}",
    Journal      = "Information Processing Letters",
    Volume       = "65",
    Number       = "1",
    Pages        = "7-10",
    Comment      = "TPTPRef"
}