Programs with Monotone Abstract Constraint Atoms (2008)
AUTHORS:
Marek Victor,
Niemelä Ilkka
,
Truszczynski Miros\law
JOURNAL:
Theory and Practice of Logic Programming
VOLUME:
8
PAGES:
167--199
URL:
http://lanl.arxiv.org/abs/cs.AI/0608103
@article{ MNT2006:tplp, author = {Marek, Victor and Niemel{\"a}, Ilkka and Truszczy\'nski, Miros{\l}aw}, note = "", responsibleauthor = {Niemel{\"a}, Ilkka}, title = "Programs with Monotone Abstract Constraint Atoms", url = "http://lanl.arxiv.org/abs/cs.AI/0608103", journal = "Theory and Practice of Logic Programming", number = "2", volume = "8", flags = "ACPT", year = "2008", impactfactor = "A", pages = "167--199" }