Effectiveness of concrete grouting method for deep-sea pipeline repairs. (December 2021)