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

by N Li, J Mitchell
Venue:In: 5th International Symposium on Practical Aspects of Declarative Languages