James F. Gimpel, "A reduction technique for prime implicant tables," 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pp. 183-191, 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 1964