Philip M. Spira Complete Linear Proofs of Systems of Linear Inequalities. 205-216 1972 6 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss6.html#Spira72