Programs with Monotone Abstract Constraint Atoms (2008)
Marek Victor , Niemelä Ilkka , Truszczynski Miros\law