1 Introduction
The number of elements integrated within digital circuits grows exponentially, leading to enormous challenges in Computer Aided Design (CAD). Due to this exponential growth physical boundaries will be reached in the near future. Furthermore, power consumption of circuits becomes a major issue. To face these problems the research in the area of reversible logic and its applications in low-power design and quantum computing has become an intensely studied topic.