Fibred tableaux for multi-implication logics (1996)

by M D’Agostino, D Gabbay
Venue:In Theorem Proving with Analytic Tableaux and Related Methods