Sequent forms of Herbrand theorem and their applications.

Alexander V. Lyaletski
Published in: Ann. Math. Artif. Intell. (2006)