Title: ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen