@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}
}