The Problem of Formation Destruction in Carbon Dioxide Storage: A Microscopic Model. - Levashova, Natalia; Levashov, Pavel; Erofeev, Dmitry; Sidorova, Alla (Algorithms, 2025)