Higher-order tableaux (1995)

by Koh95 M Kohlhase
Venue:Theorem Proving with Analytic Tableaux and Related Methods,TABLEAUX’95, LNAI