1. The Design and Analysis of Computer Algorithms;Aho,1974
2. “Refutations by Mating,”;Andrews;IEEE Transactions on Computers,1976
3. “An Additive Algorithm for Solving Linear Programs with Zero-One Variables,”;Balas;Operations Research,1965
4. “Disjunctive Programming: Cutting-planes from Logical Conditions,”;Balas,1975