Integer Induction in Saturation.

Petra Hozzov, Laura Kovcs, Andrei Voronkov

Browse the full CADE paper archive.