%0 Journal Article %A Canal, Richard %T Complexité de la réduction en logique combinatoire %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1978 %P 339-367 %V 12 %N 4 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1978__12_4_339_0/ %G fr %F ITA_1978__12_4_339_0