@inproceedings{LF2005,

  author =    {Shun Long and Grigori Fursin},
  title =     {A heuristic search algorithm based on Unified Transformation Framework},
  booktitle = {Proceedings of the 7th International Workshop on High Performance Scientific and Engineering Computing (HPSEC-05)},
  pages =     {137-144},
  year =      {2005}
}