cement injection

The gas eruption was eventually stopped by a cement injection from a new drilling hole.

Even proponents would like to know whether cement injections really help in the long run, but medical scientists fear they may never know.

A technical committee was established, and on 16 December they recommended the use of cement injection combined with a ring of drainage holes around the tunnel before blasting.