Ciabattoni, Ferrari, 2000. Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/10722086_15