Reijo Ernvall

• A generalization of herbrand's theorem