@doctoralThesis{Scholl_1996, title={Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften}, author={Scholl, Christoph}, doi={http://dx.doi.org/10.22028/D291-25740}, year={1996} }