Logic programs with monotone abstract constraint atoms

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski. Logic programs with monotone abstract constraint atoms. TPLP, 8(2):167-199, 2008. [doi]

Abstract

Abstract is missing.