"Remembrance of Things Past: Locality and Memory in BDDs."

Srilatha Manne, Dirk Grunwald, Fabio Somenzi (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics