Programový systém na tvorbu a redukciu usporiadaných binárnych rozhodovacích diagramov - Andruška, Igor, 1985- (STU v Bratislave FIIT, 2008)