[BLOP95]
 Boulier, F., Lazard, D., Ollivier, F., Petitot, M.
Computing Representations for Radicals of Finitely Generated
Differential Ideals. Proceedings of ISSAC'95, ACM Press.

[BLOP97]
 Boulier, F., Lazard, D., Ollivier, F., Petitot, M.
Computing Representations for Radicals of Finitely Generated
Differential Ideals. Technical Report IT306, LIFL. 1997.

[BLMM01] 
Boulier, F., Lemaire, F. and MorenoMaza, M.
PARDI!
Proceedings of ISSAC 2001, ACM Press.

[H99]
 Hubert, E.
Essential Components of Algebraic Differential Equations.
Journal of Symbolic Computations (1999) volume 28 number 45
pages 657680.

[H00] 
Hubert, E.
Factorization Free Decomposition Algorithms in Differential Algebra.
Journal of Symbolic Computations (2000) volume 29 number 45
pages 641662.

[H03p] 
Hubert, E.
Notes on triangular sets and triangulationdecomposition algorithms
I: Polynomial systems.
Chapter of Symbolic and Numerical Scientific Computations Edited by U. Langer and F. Winkler. LNCS (2003), volume 2630, SpringerVerlag Heidelberg.

[H03d] 
Hubert, E.
Notes on triangular sets and triangulationdecomposition
algorithms II: Differential Systems.
Chapter of Symbolic and Numerical Scientific Computations
Edited by U. Langer and F. Winkler. LNCS, volume 2630,
SpringerVerlag Heidelberg.

[H04] 
Hubert, E.
Improvements to a triangulationdecomposition algorithm
for ordinary differential systems in higher degree cases,
Proceedings of ISSAC'04, ACM Press.

[H05] 
Hubert, E.
Differential Algebra for Derivations with Nontrivial Commutation Rules,
Journal of Pure and Applied Algebra (2005), Volume 200, Issues 12.
