Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.

Tran Cao Son Enrico Pontelli Phan Huy Tu Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. 353-389 2007 29 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper2171.html db/journals/jair/jair29.html#SonPT07