Local tabularity is decidable for bi-intermediate logics of trees and of co-trees | Publicación