On Extending Bounded Proofs to Inductive Proofs.

Oded Fuhrmann, Shlomo Hoory

Browse the full CAV paper archive.