@techreport{HBG94,
   author        = {Reiner H\"{a}hnle and Bernhard Beckert and 
                    Stefan Gerberding},
   institution   = {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r
                    Informatik},
   title         = {The Many-Valued Tableau-Based Theorem Prover
                    \mbox{$_{3}\!T^{\!\!\textstyle A}\!\!P$}},
   number        = {30/94},
   month         = nov,
   year          = 1994
}