@TechReport{Ben08-TR,
    Author       = "Benzm{\"u}ller, C.",
    Year         = "2008",
    Title        = "{Automating Access Control Logics in Simple Type Theory
                    with LEO-II}",
    Number       = "SEKI Technical Report SR-2008-01",
    Institution  = "Universit{\"a}t des Saarlandes",
    Address      = "Saarbr{\"u}cken, Germany",
    Comment      = "TPTPRef, TPTPCite"
}