@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},
  publisher =    {IEEE Computer Society Press},
  }