A linear-time transformation of linear inequalities into conjunctive normal form / J.P. Warners

A linear-time transformation of linear inequalities into conjunctive normal form / J.P. Warners