A complexity theory based on boolean algebra (1985)

by S Skyum, L Valiant
Venue:Journal of the ACM