@PhdThesis{M03,
  author =       {U. Milanese},
  title =        {Zur Implementierung eines ROBDD-basierten Systems f"ur die Manipulation und Visualisierung von Relationen},
  school =       {Institut f"ur Informatik und Praktische Mathematik, Christian-Albrechts-Universit"at zu Kiel},
  year =         {2004
  note =         {Logos-Verlag, Berlin},
}