Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems