Correction to "Methods Used in an Automatic Logic Design Generator (ALERT)" | IEEE Journals & Magazine | IEEE Xplore