1. L. Babai, On Lovás'' lattice reduction and the nearest lattice point, Combinatorica, to appear.
2. A theorem concerning the integer lattice;Bell;Stud. Appl. Math.,1977
3. S.C. Boyd and W.R. Pulleyblank, Facet generating techniques, in preparation.
4. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
5. Edmonds polytopes and a hierarchy of combinatorial problems;Chvátal;Discrete Math.,1973