@InProceedings{PB10,
    Author       = "Paulson, L. and Blanchette, J.",
    Year         = "2010",
    Title        = "{Three Years of Experience with Sledgehammer, a Practical
                    Link between Automatic and Interactive Theorem Provers}",
    Editor       = "Sutcliffe, G. and Ternovska, E. and Schulz, S.",
    BookTitle    = "{Proceedings of the 8th International Workshop on the Implementation of 
                    Logics}",
    Place        = "Yogyakarta, Indonesia",
    Series       = "EPiC Series in Computing",
    Number       = "2",
    Pages        = "1-11",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}

@InProceedings{PB10-ARCOE,
    Author       = "Pease, A. and Benzm{\"u}ller, C.",
    Year         = "2010",
    Title        = "{Ontology Archaeology: Mining a Decade of Effort on the
                    Suggested Upper Merged Ontology}",
    BookTitle    = "{Proceedings of ECAI 2010 Workshop on Automated Reasoning
                    about Context and Ontology Evolution}",
    Place        = "Lisbon, Portugal",
    Pages        = "19-20",
    Comment      = "TPTPCite"
}

@InProceedings{PB10-IKBET,
    Author       = "Pease, A. and Benzm{\"u}ller, C.",
    Year         = "2010",
    Title        = "{Sigma: An Integrated Development Environment for Logical
                    Theories}",
    BookTitle    = "{Proceedings of ECAI 2010 Workshop on Intelligent
                    Engineering Techniques for Knowledge Bases}",
    Place        = "Lisbon, Portugal",
    Pages        = "7-12",
    Comment      = ""
}