Station Q, 29 Sep 2016 In the paper “Verified compilation of space-efficient reversible circuits,” Matt Amy, Martin Roetteler, and Krysta M. Svore…