DMCA

leanTAP: Lean Tableau-based Deduction (1995)

Cached

Download Links

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