Induction with Generalization in Superposition ReasoningEasyChair Preprint no. 2468, version historyKeyphrases: automated reasoning, AVATAR architecture, first-order theorem proving, induction, induction with generalization, saturation based proof search, structural induction, superposition reasoning, term algebra, Vampire |