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},
}
|