@InProceedings{LutzWaltherWolter-TIME-05,
  author =    {C. Lutz and D. Walther and F. Wolter},
  title =     {Quantitative Temporal Logics: {\sc PSpace} and below},
  booktitle = {Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning},
  year =      {2005},
  publisher = {IEEE Computer Society Press},
  address =   {Burlington, VT, USA}
}