A General Tableau Method for Propositional Interval Temporal Logics.

Valentin Goranko, Angelo Montanari, Guido Sciavicco

Browse the full TABLEAUX paper archive.