Programs with Monotone Abstract Constraint Atoms

Reference:

Victor Marek, Ilkka Niemelä, and Mirosław Truszczyński. Programs with monotone abstract constraint atoms. Theory and Practice of Logic Programming, 8(2):167–199, 2008.

Suggested BibTeX entry:

@article{MNT2006:tplp,
    author = {Victor Marek and Ilkka Niemel{\"a} and Miros{\l}aw Truszczy\'nski},
    journal = {Theory and Practice of Logic Programming},
    number = {2},
    pages = {167--199},
    title = {Programs with Monotone Abstract Constraint Atoms},
    volume = {8},
    year = {2008},
}