Ia. Batalin et Iv. Tyutin, ON THE PERTURBATIVE EQUIVALENCE BETWEEN THE HAMILTONIAN AND LAGRANGIAN QUANTIZATIONS, International journal of modern physics A, 11(8), 1996, pp. 1353-1366
The Hamiltonian (BFV) and Lagrangian (BV) quantization schemes are pro
ved to be perturbatively equivalent to each other. It is shown in part
icular that the quantum master equation being treated perturbatively p
ossesses a local formal solution.