Higher-order tableaux (1995)

by M Kohlhase
Venue:In Proc. of TABLEAUX 95, number 918 in LNAI