Theory of formal integrability and DAEs: Effective computations
scientific article; zbMATH DE number 1268436