DATALOG with Constraints - An Answer-Set Programming System.

Deborah East Miroslaw Truszczynski DATALOG with Constraints - An Answer-Set Programming System. 163-168 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#EastT00