Distances and limits on Herbrand interpretations
1998 ◽
pp. 250-260
◽