leantap: Lean tableau-based deduction (1995)

by B Beckert, J Posegga
Venue:J. Autom. Reasoning