@inproceedings{
    MNT04:lpnmr,
    author = {Marek, Victor and Niemel{\"a}, Ilkka and Truszczy\'nski, Miros{\l}aw},
    publisher = "Springer-Verlag",
    title = "Programs with Monotone Cardinality Atoms",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    booktitle = "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning",
    note = "",
    flags = "SA-53695",
    year = "2004",
    pages = "154--166"
}