Chapter IX. The Herbrand Distribution
1983 ◽
pp. 157-184