REVS: a tool for space-optimized reversible circuit synthesis
scientific article; zbMATH DE number 6850915