@InProceedings{TR+04,
    Author       = "Tsarkov, D. and Riazanov, A. and Bechhofer, S. and
                    Horrocks, I.",
    Year         = "2004",
    Title        = "{Using Vampire to Reason with OWL}",
    Editor       = "McIlraith, S. and Plexousakis, D. and van Harmelen, F.",
    BookTitle    = "{Proceedings of the 3rd International Semantic Web
                    Conference}",
    Place        = "Hiroshima, Japan",
    Series       = "Lecture Notes in Computer Science",
    Number       = "3298",
    Pages        = "471-485",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef,TPTPCite"
}