V. Pimenov and M. Voronov, “Formalization of Regulatory Texts”, IA, vol. 20, no. 3, pp. 562-590, Jun. 2021.