Improved probabilistic verification by hash compaction (1995)

by U Stem, D L Dill
Venue:In Random Structures and Algorithms. Volume