@InProceedings{Xu:time03,
  author =       {Lin Xu and Berthe Y. Choueiry},
  title =        {{A New Efficient Algorithm for Solving the Simple Temporal Problem}},
  booktitle =    {10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL 03)},
  year =         2003,
  pages =        {212-222},
  editor =       {Mark Reynolds and Abdul Sattar},
  address =       {Cairns, Queensland, Australia},
  publisher =    {IEEE Computer Society Press}