@inproceedings{EndrissARW2002,
  author =        {Ulrich Endriss},
  title =         {Adding a Zoom to Linear Temporal Logic},
  editor =        {T.~Walsh},
  booktitle =     {Proceedings of the 9th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  publisher =     {AISB},
  month =         {April},
  year =          {2002},
  note =          {Extended Abstract}
}