Programs with Monotone Abstract Constraint Atoms (2008)

AUTHORS:

Marek Victor , Niemelä Ilkka , Truszczynski Miros\law

  • JOURNAL:
  • Theory and Practice of Logic Programming
  • PAGES:
  • 167-199

URL:
http://lanl.arxiv.org/abs/cs.AI/0608103