Косовская ТМ. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. ТС [Интернет]. 30июн.2014 [цитируется по 1май2024];3(34):204-17. Available from: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1851