Logic programs with monotone abstract constraint atoms.

Victor W. Marek Ilkka Niemelä Miroslaw Truszczynski Logic programs with monotone abstract constraint atoms. 167-199 2008 8 TPLP 2 http://dx.doi.org/10.1017/S147106840700302X db/journals/tplp/tplp8.html#MarekNT08