Complexité de la réduction en logique combinatoire Richard Canal — 1978 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications