Moritz Y. Becker, Sebastian Nanz. The Role of Abduction in Declarative Authorization Policies. In Paul Hudak, David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Volume 4902 of Lecture Notes in Computer Science, pages 84-99, Springer, 2008.
Abstract is missing.