On Herbrand skeletons (1995)

by P Voda, J Komara