I. Introduction
The use of EXOR gates in the synthesis process reduces the hardware costs in many cases [25], [24]. Additionally EXOR based circuits often have nice testability properties [18], [20], [21], [5]. Recently, synthesis approaches for quantum circuits have been proposed that also make use of AND/EXOR forms [10], i.e. the expression can be directly mapped to a target circuit.