Reduction of Dirac structures and the Hamilton-Pontryagin principle

In the last part of the paper, we include nonholonomic constraints, and illustrate this construction with Suslov systems in nonholonomic mechanics, both from the Euler-Poincaré and Lie-Poisson viewpoints.