@inproceedings{Kotelnikov2016,
 author = {Kotelnikov, Evgenii and Kov\'{a}cs, Laura and Reger, Giles and Voronkov, Andrei},
 title = {The Vampire and the FOOL},
 booktitle = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs},
 series = {CPP 2016},
 year = {2016},
 location = {St. Petersburg, FL, USA},
 pages = {37--48},
 numpages = {12},
 publisher = {ACM},
}