Logic Programs with Abstract Constraint Atoms: The Role of Computations.

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski

Browse the full ICLP paper archive.