## Vampire 2016: Volume Information## Vampire 2016. Proceedings of the 3rd Vampire Workshop6 articles•82 pages•Published: March 1, 2017 ## Papers
## Keyphrasesautomated theorem proving, automated verification, benchmark, consequence finding, first-order logic |