@InProceedings{JV00B,
  author = 	 {Jensen, R.M. and Veloso, M.M.},
  title = 	 {{OBDD}-based Universal Planning for Multiple Synchronized 
                  Agents in Non-Deterministic Domains, },
  booktitle = 	 {Proceedings of the 5th International Conference on 
                  Artificial Intelligence Planning and Scheduling ({AIPS-00})},
  year =	 2000,
  publisher =	 {AAAI Press},
  pages =	 {167-176}
}