Boolean Representation
A. Shen, S. Devadas and A. Ghosh,
"Probabilistic Manipulation of Boolean Functions Using Free Boolean Diagrams"
,
IEEE Transactions on Computer-Aided Design
, pp. 87-95, January 1995.