Complexité de la réduction en logique combinatoireRichard CanalRAIRO. Inform. théor., 12 4 (1978) 339-367DOI: https://doi.org/10.1051/ita/1978120403391
