Ricard Gavaldà Osamu Watanabe On the Computational Complexity of Small Descriptions. 89-101 1991 Structure in Complexity Theory Conference db/conf/coco/coco91.html#GavaldaW91