1. F. Benhamou, Boolean Constraints in Prolog III, in Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer (eds.), The MIT Press, 305–325, 1993.
2. A. Borning, M. Maher, A. Martindale and M. Wilson, Constraints Hierarchies and Logic Programming, in Proceedings of the Sixth International Conference on Logic Programming, MIT Press, 149–164, 1989.
3. R. Bryant, Graph-Based Logarithms for Boolean Function Manipulation, IEEE Trans. On Computers, August 1986.
4. W. Büttner and H. Simonis, Embedding Boolean Expressions into Logic Programming, Journal of Symbolic Computation, vol. 4, Academic Press, 191–205, 1987.
5. Lect Notes Comput Sci;P. Codognet,1994