A logic for constant-depth circuits (1984)

by Y Gurevich, H Lewis
Venue:Information and Control