@inproceedings{f4cca24fc65342fca6de160eb8712147,
title = "Vampire",
author = "Alexandre Riazanov and Andrei Voronkov and Harald Ganzinger",
year = "1999",
language = "English",
isbn = "3-540-66222-7",
volume = "1632",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "292--296",
editor = "Harald Ganzinger",
booktitle = "CADE",
address = "United States",
note = "Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/cade/cade99.html\#Voronkov99http://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/Voronkov99",
}