An algebraic technique for generating optimal CMOS circuitry in linear time
scientific article; zbMATH DE number 878513