Datalog with Constraints: A Foundation for Trust Management Languages (2003)

by Ninghui Li , John C. Mitchell
Venue:In PADL ’03: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Citations:94 - 11 self