Systems Theory 17(1984),13–28 (0)

by J B Saxe M Furst, Parity andM Sipser, andthepolynomialtimehierarchy circuits, Math