Seol mar théacs é seo: Eine Strategie zur Erhöhung der Effizienz des Fehlerlokalisierungsprozesses in defekten digitalen Schaltungen /