@article{gurevich1984a,
author = {Gurevich, Yuri},
title = {A Logic for Constant Depth Circuits},
year = {1984},
month = {April},
abstract = {We present an extension of first-order logic that captures precisely the computational complexity of (the uniform sequences of) constant-depth polynomial-time circuits.},
url = {http://approjects.co.za/?big=en-us/research/publication/logic-constant-depth-circuits/},
pages = {65-74},
journal = {Information and Control 61},
volume = {61},
}