@TechReport{Dra93,
    Author       = "Draeger, J.",
    Year         = "1993",
    Title        = "{Anwendung des Theorembeweisers SETHEO auf angeordnete
                    K{\"o}rper}",
    Number       = "FKI-186-93",
    Institution  = "Technische Universit{\"a}t M{\"u}nchen",
    Address      = "M{\"u}nchen, Germany",
    Comment      = "TPTPRef"
}