A complexity theory based on Boolean algebra (1981)

by S SKYUM, L G VALIANT
Venue:Proc. 22nd IEEE Symposium on Foundations of Computer Science