%0 Conference Paper %1 becker2007 %A Becker, M. %A Nanz, S. %B Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL) %D 2007 %K abduction, automaticDebugging %T The Role of abduction in declarative authorization policies

@inproceedings{becker2007, added-at = {2008-05-29T09:31:29.000+0200}, author = {Becker, M. and Nanz, S.}, biburl = {https://www.bibsonomy.org/bibtex/23b2ca5f18068dcaa3b48458cedd8c20f/vzach}, booktitle = {Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL)}, interhash = {c7972312fdb8f62680cef65a9ac6994f}, intrahash = {3b2ca5f18068dcaa3b48458cedd8c20f}, keywords = {abduction, automaticDebugging}, timestamp = {2008-05-29T09:32:28.000+0200}, title = {The Role of abduction in declarative authorization policies}, year = 2007 }