Selected papers on logic synthesis for integrated circuit design (IEEE Pr., 1987)