Computing Irredundant Normal Forms from Abbreviated Presence Functions. - D. M. Y. Chang; Thomas H. Mott Jr. (IEEE Trans. Electron. Comput., 1965)