Lagrangian Constraints and Differential Thomas Decomposition. - Gerdt, Vladimir P.; Robertz, Daniel (CoRR, 2015)