Didier Galmiche Dominique Larchey-Wendling Expressivity Properties of Boolean. 357-368 2006 conf/fsttcs/2006 FSTTCS http://dx.doi.org/10.1007/11944836_33 db/conf/fsttcs/fsttcs2006.html#GalmicheL06