@TECHREPORT{Schmitt95,
        AUTHOR             = {(Hrsg.) Peter H. Schmitt},
        INSTITUTION        = {Universit\"{a}t Karlsruhe},
        MONTH              = {Mai},
        NUMBER             = {23/95},
        TITLE              = {Logik in der {I}nformatik. 3. {J}ahrestagung der 
                              {GI}-{F}achgruppe 0.1.6},
        TYPE               = {Technical Report},
        YEAR               = {1995}
}