Bussieckand Lübbecke. The Vertex Set of a 01-polytope Is Strongly P-enumerable. Elsevier BV, 1998, doi:10.1016/s0925-7721(98)00021-2.