  The quantum BRST-anti-BRST operators are explicitely derived and the
consequences related to correlation functions are investigated. The connection
with the standard formalism and the loopwise expansions for quantum operators
and anomalies in Sp(2) approach are analyzed.
