Quantifying the amount of verboseness (1992)

by R Beigel, M Kummer, F Stephan
Venue:In Proc. Logical Found. of Comput. Sci., volume 620 of LNCS