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