EN
Massive self-dual p-forms are quantized through the construction of an equivalent first-class system and then quantizing the resulting first-class system. The construction of the equivalent first-class system is achieved using the gauge unfixing and constraints conversion BF methods. The Hamiltonian path integral of the first-class system takes a manifestly Lorentz-covariant form.