Barbara Leoniuk

• ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen