Functional Test Generation Based on Unate Function Theory. - Vijay Pitchumani; Satish S. Soman (IEEE Trans. Computers, 1988)