1. Arabzadeh, M., Saeedi, M., Zamani, M.S.: Rule-based optimization of reversible circuits. In: Proceedings of the ASP-DAC 2010, pp. 849–854. IEEE (2010)
2. Bérut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483(7388), 187–189 (2012)
3. Buss, S.R.: Handbook of Proof Theory. Elsevier, Amsterdam (1998)
4. De Vos, A.: Reversible Computing. Wiley-VCH, Weinheim (2010)
5. De Vos, A., Burignat, S., Glück, R., Mogensen, T.Æ., Axelsen, H.B., Thomsen, M.K., Rotenberg, E., Yokoyama, T.: Designing garbage-free reversible implementations of the integer cosine transform. ACM J. Emerg. Tech. Com. 11(2), 11:1–11:15 (2014)