Datalog with constraints: A foundation for trust management languages (2003)

by N Li, J C Mitchell
Venue:5th International Symposium on Practical Aspects of Declarative Languages (PADL’03), volume 2562 of LNCS