@misc{indiciae60a9232895a3,
  title = {Automating Access Control Logics in Simple Type Theory with LEO-II},
  author = {Christoph Benzmueller},
  year = {2009},
  doi = {10.1007/978-3-642-01244-0\_34},
  url = {https://arxiv.org/abs/0901.3574},
  note = {Source identifier: 0901.3574}
}