@doctoralThesis{Ehlers_2013,
title={Symmetric and efficient synthesis},
author={Ehlers, Rüdiger},
doi={http://dx.doi.org/10.22028/D291-26549},
subtitle={Symmetrische und effiziente Synthese},
year={2013}
}