Herbrand's Theorem in Inductive Proofs.

Alexander Leitsch, Anela Lolic

Browse the full LPAR paper archive.