Methods of removing single variable static hazards in Boolean functions | IEEE Journals & Magazine | IEEE Xplore