Robert Wille, Aaron Lye, Philipp Niemann: Checking Reversibility of Boolean Functions. In Simon J. Devitt, Ivan Lanese, editors, Proc. 8th International Conference on Reversible Computation (RC 2016), volume 9720 of Lecture Notes in Computer Science, pages 322-337. Springer, 2016.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth: Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. In Rachid Echahed, Mark Minas, editors, Graph Transformation: Proceedings of the 9th International Conference ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, pages 236-251. Springer International Publishing, 2016.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-Target Toffoli Circuits. In Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Lecture Notes in Computer Science, pages 603-616. Springer, 2016.
