Keyword:saturation based proof search

Publications
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Making Theory Reasoning Simpler Giles Reger, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5000
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468