Operator ordering for generally covariant systems
  The constraint operators belonging to a generally covariant system are found out within the framework of the BRST formalism. The result embraces quadratic Hamiltonian constraints whose potential can be factorized as a never null function times a gauge invariant function. The building of the inner product between physical states is analyzed for systems featuring either intrinsic or extrinsic time. 
Rafael Ferraro and Daniel M. Sforza