Solomon Marcus Under the Sign of Boole. 3-4 2000 6 J. UCS 1 db/journals/jucs/jucs6.html#Marcus00 http://www.jucs.org/jucs_6_1/under_the_sign_of