On the complexity of Herbrand’s theorem (1982)

by A Itai, J A Makowsky