Computing and proving with pivotsFrédéric MeunierRAIRO-Oper. Res., 47 4 (2013) 331-360DOI: https://doi.org/10.1051/ro/2013042