Communication complexity : a new approach to circuit depth /
Karchmer, Mauricio.
Cambridge, Mass. ; London : MIT Press,
1989.
Includes index.
Bibliography: p.
Boolean algebra.
Logic circuits.
Computational complexity.
Automatic theorem proving.