Exploiting the path-dependence of the gauge-invariant variables formal
ism, we illustrate how the gauge-fixing procedure correspond, in this
formalism, to choose the path. In particular, we consider two propagat
ors for the gauge field. QED is formulated in terms of gauge-invariant
variables and its quantization is carried out using the Dirac's metho
d for constrained systems.