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