@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
}