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.