Complexité de la réduction en logique combinatoire Richard Canal RAIRO. Inform. théor., 12 4 (1978) 339-367 Published online: 01 February 2017 DOI: 10.1051/ita/1978120403391