Efficient OBDD-based Boolean manipulation in CAD beyond current limits, J. Bern, Ch. Meinel, A. Slobodov\'a
@TechReport{trier-94-16,
  author = 	 "J. Bern, Ch. Meinel, A. Slobodov{\'{a}} ",
  title = 	 "Efficient OBDD-based Boolean manipulation in CAD
		  beyond current limits",
  institution =  "Universit{\"{a}}t Trier, Mathematik/Informatik",
  year = 	 "199?",
  key =		 "Slobodova",
  number =	 "Forschungsbericht Nr.94-16"
}

A unifying theoretical background for some BDD-based data structures, Ch. Meinel, A. Slobodov\'a
@TechReport{trier-94-17,
  author = 	 "Ch. Meinel, A. Slobodov{\'{a}}",
  title = 	 "A unifying theoretical background for some BDD-based
		  data structures",
  institution =  "Universit{\"{a}}t Trier, Mathematik/Informatik",
  year = 	 "199?",
  key =		 "Slobodova",
  number =	 "Forschungsbericht Nr.94-17"
}