Boolean algebras with operators, part 2 (1952)

by B Jónsson, A Tarski
Venue:American Journal of Mathematics