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

by N LI, J C MITCHELL
Venue:In Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages. LNCS