Hamilton-Jacobi theory of discrete, regular constrained systems | doi.page