Computationally improved versions of Herbrand's theorem (1982)

by W Bibel
Venue:Proc. of the Herbrand Colloquium, North-Holland