Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Genovese, V., Garg, D., & Rispoli, D. (2012). Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. In 2012 IEEE 25th Computer Security Foundations Symposium (pp. 139-153). Piscataway, NJ: IEEE.