Tableau Calculi for the Logics of Finite k-Ary Trees.

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Browse the full TABLEAUX paper archive.