@InProceedings{McC05,
    Author       = "McCasland, R.",
    Year         = "2005",
    Title        = "{Automated Theorem Generation}",
    Editor       = "Carette, J. and Farmer, W.",
    BookTitle    = "{Proceedings of the 12th Symposium on the Integration of
                    Symbolic Computation and Mechanized Reasoning}",
    Place        = "Newcastle, United Kingdom",
    Series       = "Electronic Notes in Theoretical Computer Science",
    Number       = "",
    Pages        = "",
    Comment      = ""
}

@Article{McC05-AAR,
    Author       = "McCune, W.",
    Year         = "2005",
    Title        = "{Fascinating XCB Inference}",
    Journal      = "Association for Automated Reasoning Newsletter",
    Number       = "66",
    Comment      = "TPTPRef"
}