Author:Laura KovácsPublications 

EasyChair Preprint no. 98           
Keyphrasesautomated reasoning, automated theorem prover, automated theorem proving^{2}, Avatar, clause normal form, consequence finding, firstorder logic, firstorder theorem prover, firstorder theorem proving, FOOL, fool formula, interpolation, invariant generation^{2}, next state relation, polymorphic arrays, program analysis^{2}, program verification^{2}, Resolution Calculus, SAT solving, static analysis, superposition, symbol elimination, theorem prover, theorem proving, translation, Vampire^{2}. 
