A logic for constant-depth circuits (1984)

by Yuri Gurevich, Harry R Lewis
Venue:In STOC ’86: Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing