A complexity theory based on boolean algebra (1985)

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