An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints. - Po Chih Chen; Chia-Ou Chang; W. T. Chang Chien (Appl. Math. Comput., 2007)