@inproceedings{xu:03ws-b,
  AUTHOR = {Lin Xu and Berthe Y. Choueiry},
  TITLE = {{Efficient Techniques for Searching the TCSP}},
  YEAR = 2003,
  BOOKTITLE = {Working Notes of the Workshop on Spatial and 
Temporal Reasoning (IJCAI 03)},
  ADDRESS = {Acapulco, Mexico},
  PAGES = {125--134},
  KEYWORDS = {}}