Для цитирования:

Морозов С.В., Ильин Д.В., Семенов В.А., Тарлапан О.А. Библиотека ограничений для спецификации индустриальных моделей данных. Труды Института системного программирования РАН. 2015;27(4):69-110. https://doi.org/10.15514/ISPRAS-2015-27(4)-5

For citation:

Morozov S.V., Ilyin D.V., Semenov V.A., Tarlapan O.A. A constraint library for specification of industrial data models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(4):69-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(4)-5