Author:Laura KovácsPublications 

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