Logic Programs With Monotone Cardinality Atoms.

V. Wiktor Marek, Ilkka Niemel, Miroslaw Truszczynski

Browse the full LPNMR paper archive.