Ninghui Li John C. Mitchell DATALOG with Constraints: A Foundation for Trust Management Languages. 58-73 2003 conf/padl/2003 PADL http://link.springer.de/link/service/series/0558/bibs/2562/25620058.htm db/conf/padl/padl2003.html#LiM03