%0 Journal Article
%A Canal, Richard
%T Complexité de la réduction en logique combinatoire
%J RAIRO. Informatique théorique
%D 1978
%P 339-367
%V 12
%N 4
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1978__12_4_339_0/
%G fr
%F ITA_1978__12_4_339_0