Philip M. Spira. Complete Linear Proofs of Systems of Linear Inequalities. In Conference Record 1971 Twelfth Annual Symposium on Switching and Automata Theory, 13-15 October 1971, East Lansing, Michigan, USA. pages 202-206, IEEE, 1971.
@inproceedings{Spira71, title = {Complete Linear Proofs of Systems of Linear Inequalities}, author = {Philip M. Spira}, year = {1971}, tags = {completeness}, researchr = {https://researchr.org/publication/Spira71}, cites = {0}, citedby = {0}, pages = {202-206}, booktitle = {Conference Record 1971 Twelfth Annual Symposium on Switching and Automata Theory, 13-15 October 1971, East Lansing, Michigan, USA}, publisher = {IEEE}, }