Quantifying the amount of verboseness (1995)

by R Beigel, M Kummer, F Stephan
Venue:Lecture Notes for Computer Science (\Logic at Tver