@inproceedings{BeckertPosegga94a,
author = {Bernhard Beckert and Joachim Posegga},
title = {{\mbox{{\sf lean}$T^{\!\!\textstyle A}\!\!P$}}: Lean
Tableau-Based Theorem Proving (Extended Abstract)},
booktitle = {12th International Conference on
Automated Deduction ({CADE-12})},
venue = {Nancy, France},
editor = {A. Bundy},
publisher = {Springer},
series = {LNCS},
volume = {814},
pages = {793--797},
year = {1994}
}