Eine Methode zur Konstruktion effizienter Baumalgorithmen für den logischen Entwurf digitaler EinheitenKurt SutterÉpuiséPrévenez-moi