DATALOG with Constraints - An Answer-Set Programming System.

Deborah East, Miroslaw Truszczynski

Browse the full AAAI paper archive.