@TechReport{HKW96,
    Author       = "H{\"a}hnle, R. and Kerber, M. and Weidenbach, C.",
    Year         = "1996",
    Title        = "{Common Syntax of the DFG-Schwerpunktprogramm Deduction}",
    Number       = "TR 10/96",
    Institution  = "Fakult{\"a}t f{\"u}r Informatik, Univers{\"a}t
                    Karlsruhe",
    Address      = "Karlsruhe, Germany",
    Comment      = "TPTPRef,TPTPCite"
}