On Herbrand skeletons (1995)

by P J Voda, J Komara