Comments on Unitarity in the Antifield Formalism
  It is shown that the local completeness condition introduced in the analysis of the locality of the gauge fixed action in the antifield formalism plays also a key role in the proof of unitarity. 
Glenn Barnich and Marc Henneaux