Pimenov V, Voronov M. Formalization of Regulatory Texts. IA [Internet]. 11Jun.2021 [cited 20May2024];20(3):562-90. Available from: http://www.proceedings.spiiras.nw.ru/index.php/sp/article/view/14344