Induction in Saturation-Based Proof Search.

Giles Reger, Andrei Voronkov

Browse the full CADE paper archive.