%0 Journal Article
%A Meunier, Frédéric
%T Computing and proving with pivots
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 2013
%P 331-360
%V 47
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ro/2013042/
%R 10.1051/ro/2013042
%G en
%F RO_2013__47_4_331_0