Author:Andrei VoronkovPublications 

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