  Quantization of gravitation theory as gauge theory of general covariant
transformations in the framework of Batalin-Vilkoviski (BV) formalism is
considered. Its gauge-fixed Lagrangian is constructed.
