Bibliography

CUDD

SOMENZI, F.: CUDD: CU Decision Diagram Package, Release 2.3.1.
via http://vlsi.colorado.edu/~fabio/CUDD/, 2001.

RelView

The RelView-System, current release 7.0 and former release 6.2.
via http://www.informatik.uni-kiel.de/~progsys/relview.shtml/, 2003.

SS93

SCHMIDT, G. - T. STRÖHLEIN: Relations and Graphs.
ETACS Monographs on Theoretical Computer Science. Springer-Verlag, 1993.