R os, Un Resultat de Completude pour les Substitutions Explicites, Comptes Rendus de l'Academie des (1991)

by P-L Curien, A
Venue:Sciences de Paris, t. 312, Serie I