leanTAP: Lean Tableau-based Deduction (1995)

Cached

Download Links

by Bernhard Beckert , Joachim Posegga
Venue:Journal of Automated Reasoning
Citations:78 - 11 self