Zhou, W. ., Jeffrey, D. ., Reid, G. ., Schmitke, C. ., & McPhee, J. . (2005). Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems. In H. . Li, P. . Olver, & G. . Sommer (Eds.), Lecture Notes in Computer Science (Vol. 3519, pp. 31-43). Springer-Verlag.