TsarkovRBH04'

@inproceedings{DBLP:conf/semweb/TsarkovRBH04,
  author    = {Dmitry Tsarkov and
               Alexandre Riazanov and
               Sean Bechhofer and
               Ian Horrocks},
  title     = {Using Vampire to Reason with OWL},
  booktitle = {International Semantic Web Conference},
  year      = {2004},
  pages     = {471-485},
  ee        = {http://dx.doi.org/10.1007/978-3-540-30475-3_33},
  crossref  = {DBLP:conf/semweb/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/semweb/2004,
  editor    = {Sheila A. McIlraith and
               Dimitris Plexousakis and
               Frank van Harmelen},
  title     = {The Semantic Web - ISWC 2004: Third International Semantic
               Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings},
  booktitle = {International Semantic Web Conference},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3298},
  year      = {2004},
  isbn      = {3-540-23798-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}