List of citations in Numdam for : Complexité de la réduction en logique combinatoire

RAIRO. Informatique théorique, Volume 12 (1978) no. 4, pp. 339-367

Dezani-Ciancaglini, M.;   Ronchi Della Rocca, S.;   Saitta, L.

RAIRO. Informatique théorique, Volume 13 (1979) no. 3, pp. 257-287