Eine Methode zur Konstruktion effizienter Baumalgorithmen für den logischen Entwurf digitaler EinheitenKurt SutterEsauritoAvvisami