A Logic for Constant-Depth Circuits

Yuri Gurevich, Harry R. Lewis. A Logic for Constant-Depth Circuits. Inf. Comput., 61(1):65-74, April 1984.

Abstract

Abstract is missing.