Skyum, S. A Measure in Which Boolean Negation Is Exponentially Powerful. DPB 1982, 11.