@InProceedings{JVB03A,
  author = 	 {Jensen, R.~M. and Veloso, M.~M. and Bryant, R.~E.},
  title = 	 {Guided Symbolic Universal Planning},
  booktitle = 	 {Proceedings of the 13th International Conference on Automated
                  Planning and Scheduling {ICAPS}-03},
  pages =	 {123-132},
  year =	 2003,
}