@InProceedings{JBV02A,
  author = 	 {Jensen, R.~M. and Bryant, R.~E. and Veloso, M.~M.},
  title = 	 {{SetA*}: An efficient {BDD}-Based Heuristic Search Algorithm},
  booktitle = 	 {Proceedings of 18th National Conference on 
                  Artificial Intelligence ({AAAI}'02)},
  year =	 2002,
  pages =        {668-673}
}