Loading paper
First-class constraints and the BV formalism | Tomesphere