Linear Sifting of Decision Diagrams - Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten (Universität Trier, Mathematik/Informatik, Forschungsbericht, 1996)