Valentin Goranko Angelo Montanari Guido Sciavicco A General Tableau Method for Propositional Interval Temporal Logics. 102-116 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2796&spage=102 2003 conf/tableaux/2003 TABLEAUX db/conf/tableaux/tableaux2003.html#GorankoMS03