Induction with Generalization in Superposition Reasoning

EasyChair Preprint 2468, version history

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

Version	Date	Pages	Version notes
1	January 27, 2020	6
2	August 2, 2020	14	A lot of material was changed and a new author was added.

Keyphrases: AVATAR architecture, Vampire, automated reasoning, first-order theorem proving, induction, induction with generalization, saturation based proof search, structural induction, superposition reasoning, term algebra

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:2468,
  author    = {Márton Hajdu and Petra Hozzová and Laura Kovács and Johannes Schoisswohl and Andrei Voronkov},
  title     = {Induction with Generalization in Superposition Reasoning},
  howpublished = {EasyChair Preprint 2468},
  year      = {EasyChair, 2020}}