Sven Simon Johann Hofner Josef A. Nossek Retiming of Circuits Containing Multiplexers. 1736-1739 1995 ISCAS db/conf/iscas/iscas1995-3.html#SimonHN95