Generating and checking control logic in the HDL-based design of reversible circuits. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (ISED, 2016)

Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (RC, 2016)

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. - Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler (J. Low Power Electron., 2017)