1. Real Liouville functions;Gelʼfond;Funktsional. Anal. i Prilozhen.,1980
2. Differential Algebra and Algebraic Groups;Kolchin,1973
3. Constrained extensions of differential fields;Kolchin;Adv. Math.,1974
4. Some results on ordered differential fields with elimination of quantifiers;Michaux,1987