"Binary Decision Diagrams" by S. B. Akers, IEEE Trans. on Computers, vol. C-27, No. 6, Jun. 1978, pp. 509-516. |
"A Rule-Based System for Optimizing Combinational Logic" by A. J. de Geus et al., IEEE Design & Test, Aug. 1985, pp. 22-32. |
"EXCL: A Circuit Extractor for IC Designs" by S. P. McCormick, IEEE 21st Design Automation Conf., 1984, pp. 616-623. |
S. B. Akers, "A Procedure For Functional Design Verification", Report of 10th International Symposium on Fault Tolerant Computing Conference, 1980, pp. 1-34. |