@inproceedings{TRBH04a,
  title = "Using {Vampire} to Reason with {OWL}",
  author = "Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks",
  year = "2004",
  booktitle = "Proc.\ of the 3rd International Semantic Web Conference (ISWC 2004)",
  editor = "Sheila A.\ McIlraith and Dimitris Plexousakis and Frank van Harmelen",
  isbn = "3-540-23798-4",
  pages = "471--485",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2004/TRBH04a.pdf",
  volume = "3298",
}