Analytic tableaux (1998)

by Bernhard Beckert , Reiner Hähnle
Venue:Automated Deduction: A Basis for Applications, volume I, chapter 1
Citations:17 - 9 self