"clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving."

Philippe Codognet, Daniel Diaz (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics