Finding the Redundant Gates in Reversible Circuits. - Matthias Pfuhl; Jörg Ritter 002; Paul Molitor (RC, 2018)