Biswas, Nripendra N (1984) Computer Aided Minimization Procedure for Boolean Functions. In: 21st Conference on Design Automation, 1984, 25-27 June, Albuqerque,New Mexico, pp. 699-702.