Before revision:  Ann. 1982 for the shortest lattice vector problem.
After revision:  Ann. 1982 via a reduction to the Shortest Vector Problem in lattices.