@InProceedings{BeckertHaehnleEA96,
author = {Bernhard Beckert and Reiner H\"ahnle and Peter Oel and
Martin Sulzmann},
title = {The Tableau-based Theorem Prover
\mbox{$_{3}\!{T}^{\!\!\textstyle
\raisebox{-.2em}{${A}$}}\!\!{P}$}, Version~4.0},
booktitle = {13th International Conference on Automated
Deduction ({CADE-13})},
venue = {New Brunswick, {NJ}, {USA}},
pages = {303--307},
series = {LNCS},
volume = {1104},
publisher = {Springer},
year = {1996}
}