Beate Commentz-Walter Jürgen Sattler Size-depht Tradeoff in Non-monotone Boolean Formulae. 257-269 1980 14 Acta Inf. db/journals/acta/acta14.html#Commentz-WalterS80