Programmation hyperbolique en variables bivalentes M. Florian and P. Robillard R.I.R.O., 5 V1 (1971) 3-9 Published online: 06 February 2017 DOI: 10.1051/ro/197105V100031