//-->
Balance O, +- Matrices, Bicoloring and Total Dual Integrality.
Conforti, M., (1992)
From Totality Unimodular to Bakanced 0 +- Matrices : A Family of Integer Polytopes.
A Class of Logical Inference Problem Solvable by Linear Programming.