The integrable discretization of the Bianchi-Ernst system

We present the constraint for the discrete Moutard equation which gives the integrable discretization of the Bianchi-Ernst system. We also derive the discrete analogue of the Bianchi transformation between solutions of such a system (the Darboux-Backlund transformation in soliton terminology). We finally obtain the superposition of discrete Bianchi transformations.