"On Extending Bounded Proofs to Inductive Proofs."

Oded Fuhrmann, Shlomo Hoory (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics