The boolean formula value problem is in alogtime (1987)

by S R BUSS
Venue:In Proc. ACM Symp. on Theory of Computing (STOC