Judy Goldsmith Lane A. Hemachandra Kenneth Kunen Polynomial-Time Compression. 18-39 1992 2 Computational Complexity db/journals/cc/cc2.html#GoldsmithHK92