@INPROCEEDINGS{M4M-4,
  author = {Davide Bresolin and Angelo Montanari},
  title = {A tableau-based decision procedure for a branching-time interval temporal logic},
  booktitle = {Proceedings of M4M-4: 4th International Workshop on Methods for Modalities},
  editor = {H. Schlingloff}
  address = {Berlin, Germany},
  month = {December},
  year = {2005},
}