An Algorithm for the Reduction of Linear DAE. - M. P. Quéré; Gilles Villard (ISSAC, 1995)