Author:Andrei VoronkovPublications 

 EasyChair Preprint no. 2468  EasyChair Preprint no. 826   EasyChair Preprint no. 98  EasyChair Preprint no. 1                    
Keyphrasesautomated induction, automated reasoning^{5}, automated theorem prover, automated theorem proving^{2}, Avatar^{3}, AVATAR architecture^{2}, Clausal Normal Form, clause normal form, Clausification, conference management, easychair, firstorder logic^{5}, firstorder theorem prover, firstorder theorem proving^{2}, FOOL, fool formula, induction, induction with generalization, interpolation, next state relation, program verification, Resolution Calculus, SAT solving, Satisfiability Modulo Theories^{2}, Saturation Algorithms^{2}, saturation based proof search, SMT, SMT solving, static analysis, structural induction, superposition, superposition calculus, superposition reasoning, term algebra, theorem prover, theorem proving^{4}, theory reasoning, translation, Vampire^{6}, Web Services, Z3. 
