"Model-independent Bounding of the Supports of Boolean Formulae in Binary Data."

Artur Bykowski, Jouni K. Seppänen, Jaakko Hollmén (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics