%0 Conference Paper %1 conf/padl/LiM03 %A Li, Ninghui %A Mitchell, John C. %B PADL %D 2003 %E Dahl, Verónica %E Wadler, Philip %I Springer %K dblp %P 58-73 %T DATALOG with Constraints: A Foundation for Trust Management Languages. %U http://dblp.uni-trier.de/db/conf/padl/padl2003.html#LiM03 %V 2562 %@ 3-540-00389-4

@inproceedings{conf/padl/LiM03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Li, Ninghui and Mitchell, John C.}, biburl = {https://www.bibsonomy.org/bibtex/2d3116001d5eb6a454cc085c1845cd82d/dblp}, booktitle = {PADL}, crossref = {conf/padl/2003}, editor = {Dahl, Verónica and Wadler, Philip}, ee = {https://doi.org/10.1007/3-540-36388-2_6}, interhash = {298746a49823d2ee33aa0b9fe7f4f1db}, intrahash = {d3116001d5eb6a454cc085c1845cd82d}, isbn = {3-540-00389-4}, keywords = {dblp}, pages = {58-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:44:57.000+0200}, title = {DATALOG with Constraints: A Foundation for Trust Management Languages.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2003.html#LiM03}, volume = 2562, year = 2003 }