On the Succinctness of Cardinality Constraint Programs and Canonical Logic Programs | IEEE Conference Publication | IEEE Xplore