@InProceedings{JV00C,
  author = 	 {Jensen, R.M.},
  title = 	 {{OBDD}-based Deterministic Planning using the 
                  {UMOP} Planning Framework},
  booktitle = 	 {Proceedings of the {AIPS-00} Workshop on Model-Theoretic 
                  Approaches to Planning},
  year =	 2000,
  pages =	 {26-31}
}