A strongly polynomial algorithm for linear systems having a binary solution

This paper proposes a strongly polynomial algorithm which either finds a solution of a linear system Ax = b, 0 ≤ x ≤ 1, or correctly decides that the system has no 0,1-solutions. The algorithm can be used as the basis for the construction of a polynomial algorithm for linear programming.