@TechReport{OS95,
    Author       = "Ohlbach, H.J. and Schmidt, R.A.",
    Year         = "1995",
    Title        = "{Functional Translation and Second-Order Frame Properties
                    of Modal Logics}",
    Number       = "MPI-I-95-2-002",
    Institution  = "Max-Planck-Institut f{\"u}r Informatik",
    Address      = "Saarbr{\"u}cken, Germany",
    Comment      = "TPTPRef"
}