This entry is being splitt-off from BRST-BV formalism. For the moment see the discussion there at Hamiltonian BFV.
The analog for presymplectic manifolds is presymplectic reduction.
Reductions of (pre-)symplectic manifolds:
Reviews include
Textbook accounts include