Proceeding of the herbrand symposium. - Stern J Ed. (New York North Holland Publishing, 1982)