A Library of Reversible Circuit Transformations (Work in Progress). - Christian Hutslar; Jacques Carette; Amr Sabry (RC, 2018)