An explicit construction of short monotone formulae for the monotone symmetric functionsMark KleimanNicholas Pippenger1978Theoretical Computer Science