TY  - RPRT
TI  - Automating Access Control Logics in Simple Type Theory with LEO-II
AU  - Christoph Benzmueller
PY  - 2009
DO  - 10.1007/978-3-642-01244-0_34
UR  - https://arxiv.org/abs/0901.3574
ID  - 0901.3574
ER  -