"Normal Form Theorem for Logic Programs with Cardinality Constraints."

Victor W. Marek, Jeffrey B. Remmel (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics