BDF integrators for constrained mechanical systems on Lie groups. - Victoria Wieloch; Martin Arnold (J. Comput. Appl. Math., 2021)