@TechReport{Gol93,
    Author       = "Goller, C.",
    Year         = "1993",
    Title        = "{Anwendung des Theorembeweisers SETHEO auf die Theorie der
                    Halbgruppen und Gruppen}",
    Number       = "FKI-174-93",
    Institution  = "Technische Universit{\"a}t M{\"u}nchen",
    Address      = "M{\"u}nchen, Germany",
    Comment      = "TPTPRef"
}