DATALOG with Constraints: A Foundation for Trust Management Languages.

Ninghui Li, John C. Mitchell

Browse the full PADL paper archive.