On proofs about threshold circuits and counting hierarchies (extended abstract (1998)

by Jan Johannsen, Chris Pollett
Venue:in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science