@inproceedings{EndrissARW2001,
  author =        {Ulrich Endriss},
  title =         {Modal Logic and Temporal Constraint Networks},
  editor =        {A.~Voronkov},
  booktitle =     {Proceedings of the 8th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  organization =  {University of York},
  month =         {March},
  year =          {2001},
  note =          {Extended Abstract}
}