@Book{M04,
  author = 	 {Ulf Milanese},
  title = 	 {Zur Implementierung eines ROBDD-basierten Systems f"ur die Manipulation und Visualisierung von Relationen},
  publisher = 	 {Logos-Verlag Berlin},
  year = 	 {2004}
}