"On a Generalisation of Herbrand's Theorem."

Matthias Baaz, Georg Moser (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics