Nearly Optimal Hierarchies for Network and Formula Size.

Mike Paterson Ingo Wegener Nearly Optimal Hierarchies for Network and Formula Size. 217-221 1986 23 Acta Inf. 2 db/journals/acta/acta23.html#PatersonW86