## Laura Kovács, Andrei Voronkov

*First-Order Theorem Proving and Vampire*

CAV, 2013.

@inproceedings{CAV-2013-KovacsV, author = "Laura Kovács and Andrei Voronkov", booktitle = "{Proceedings of the 25th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-39799-8_1", isbn = "978-3-642-39798-1", pages = "1--35", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{First-Order Theorem Proving and Vampire}", volume = 8044, year = 2013, }