leanTAP: Lean Tableau-based Deduction (1995)

View PDF

Download Links

by Bernhard Beckert , Joachim Posegga
Venue:Journal of Automated Reasoning
Citations:81 - 12 self