%0 Journal Article %A Goranko, V. %A Montanari, A. %A Sala, P. %A Sciavicco, G. %D 2006 %J Journal of Applied Logic %N 3 %P 305-330 %T A general tableau method for propositional interval temporal logics: Theory and implementation %V 4