@article{Gurevich_1984,
    doi = {10.1016/s0019-9958(84)80062-5},
    url = {https://doi.org/10.1016%2Fs0019-9958%2884%2980062-5},
    year = {1984},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {61},
    number = {1},
    pages = {65--74},
    author = {Yuri Gurevich and Harry R. Lewis},
    title = {A logic for constant-depth circuits},
    journal = {Information and Control}
}

@article{Gurevich_1984, doi = {10.1016/s0019-9958(84)80062-5}, url = {https://doi.org/10.1016%2Fs0019-9958%2884%2980062-5}, year = {1984}, month = {apr}, publisher = {Elsevier {BV}}, volume = {61}, number = {1}, pages = {65--74}, author = {Yuri Gurevich and Harry R. Lewis}, title = {A logic for constant-depth circuits}, journal = {Information and Control} }