@TechReport{J03T2,
  author = 	 {Jensen, R.~M. and Andersen, H.~R.},
  title = 	 {Substitution and Flip BDDs},
  institution =  {IT University of Copenhagen},
  year = 	 2003,
  number =	 {ITU-TR-2003-41}
}