An algorithm for computing the hull of the solution set of interval linear equations

Described is a not-a-priori-exponential algorithm which for each n×n interval matrix A and for each interval n-vector in a finite number of steps either computes the interval hull of the solution set of the system of interval linear equations Ax=b, or finds a singular matrix S∈A.