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