Ninghui Li, John C. Mitchell
DATALOG with Constraints: A Foundation for Trust Management Languages
PADL, 2003.
@inproceedings{PADL-2003-LiM, author = "Ninghui Li and John C. Mitchell", booktitle = "{Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages}", doi = "10.1007/3-540-36388-2_6", isbn = "3-540-00389-4", pages = "58--73", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{DATALOG with Constraints: A Foundation for Trust Management Languages}", volume = 2562, year = 2003, }