Programs with Monotone Cardinality Atoms (2004)
Marek Victor , Niemelä Ilkka , Truszczynski Miros\law