no. 1
Le théorème de la base finie pour les polynômes différentiels
Séminaire Dubreil. Algèbre et théorie des nombres, Tome 14 (1960-1961) no. 1, Exposé no. 7, 15 p. 
@article{SD_1960-1961__14_1_A7_0,
     author = {Kolchin, Ellis R.},
     title = {Le th\'eor\`eme de la base finie pour les polyn\^omes diff\'erentiels},
     journal = {S\'eminaire Dubreil. Alg\`ebre et th\'eorie des nombres},
     note = {talk:7},
     publisher = {Secr\'etariat math\'ematique},
     volume = {14},
     number = {1},
     year = {1960-1961},
     zbl = {0116.26601},
     language = {fr},
     url = {archive.numdam.org/item/SD_1960-1961__14_1_A7_0/}
}
Kolchin, Ellis R. Le théorème de la base finie pour les polynômes différentiels. Séminaire Dubreil. Algèbre et théorie des nombres, Tome 14 (1960-1961) no. 1, Exposé no. 7, 15 p. http://archive.numdam.org/item/SD_1960-1961__14_1_A7_0/

[1] Kolchin (Ellis R.). - On the basis theorem for differential systems, Trans. Amer. math. Soc., t. 52, 1942, p. 115-127. | MR 6164 | Zbl 0063.03288

[2] Ritt (Joseph Fels). - Differential algebra. - New York, American mathematical Society, 1950 (Amer. math. Soc. Coll. Publ., 33). | MR 35763 | Zbl 0037.18402

[3] Seidenberg (A.). - Some basis theorems in differential algebra (caracteristic b , arbitrary), Trans. Amer. math. Soc., t. 73, 1952, p. 174-190. | MR 49174 | Zbl 0047.03502