Boolean constructions
1983 ◽
pp. 67-90
◽