@Article{	  BeckertPosegga95e,
  author	= {Bernhard Beckert and Joachim Posegga},
  title		= {{\mbox{{\sf lean}$T^{\!\!\textstyle A}\!\!P$}}: Lean
		  Tableau-based Deduction},
  journal	= {Journal of Automated Reasoning},
  volume        = 15,
  number        = 3,
  pages         = {339--358},
  year		= {1995}
}