1. The Generation of Minimal Trees with a Steiner Topology
2. “The Complexity of Theorem Proving Procedures,” Proc. 3rd Annual ACM Symposium on Theory of Computing, 1971, pp. 151–158.
3. The steiner problem in graphs
4. “Applications of Linear Graph Theory to Printed Circuits,” Proc. First Asilomar Conference on Systems and Circuits, 1967, pp. 721–729.