A logic for constant depth circuits (1984)

by Y GUREVICH, H R LEWIS
Venue:Inform. and Control