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