Improving synthesis of reversible circuits: exploiting redundancies in paths and nodes of QMDDs
scientific article; zbMATH DE number 6850926