Vampire 2017. Proceedings of the 4th Vampire Workshop7 articles•74 pages•Published: June 29, 2018 PapersPages 18  Pages 919  Pages 2032  Pages 3341  Pages 4251  Pages 5263  Pages 6474 
Keyphrasesacyclicity, automated theorem proving^{2}, Avatar, inference rule, Interpolants, local proofs, Question Answering, SMT solving, soundness proofs of type systems, superposition, term algebra, theorem proving^{2}, Vampire^{3} 
