Programs with Monotone Cardinality Atoms

Reference:

Victor Marek, Ilkka Niemelä, and Mirosław Truszczyński. Programs with monotone cardinality atoms. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 154–166. Springer-Verlag, 2004.

Suggested BibTeX entry:

@inproceedings{MNT04:lpnmr,
    author = {Victor Marek and Ilkka Niemel{\"a} and Miros{\l}aw Truszczy\'nski},
    booktitle = {Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
    pages = {154--166},
    publisher = {Springer-Verlag},
    title = {Programs with Monotone Cardinality Atoms},
    year = {2004},
}