Meeting a challenge of Knuth (1993)

by J Cowles
Venue:Internal Note 286, Computational Logic, Inc