@inproceedings{TAP92a,
author = {Bernhard Beckert and Stefan Gerberding and
Reiner H\"{a}hnle and Werner Kernig},
booktitle = {11th International Conference on Automated
Deduction ({CADE-11})},
venue = {Saratoga Springs, {NY}, {USA}},
publisher = {Springer},
series = {LNCS},
volume = {607},
title = {The Tableau-Based Theorem Prover
\mbox{$_{3}\!T^{\!\!\textstyle A}\!\!P$}
for Multiple-Valued Logics},
year = {1992}
}