@TechReport{J02T,
  author = 	 {Jensen, R.~M},
  title = 	 {A Comparison Study between the {CUDD} and {BuDDy} {OBDD} 
                  Package Applied to {AI}-Planning problems},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year = 	 2002,
  note =	 {{CMU-CS-02-173}}
}