Victor W. Marek, Jeffrey B. Remmel. Normal Form Theorem for Logic Programs with Cardinality Constraints. In Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, editors, Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
Abstract is missing.