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