Kosovskaya T. An Approach to the Construction of a Level Description of Classes by Means of a Predicate Calculus Language. SP [Internet]. 30Jun.2014 [cited 3Jul.2024];3(34):204-17. Available from: http://ia.spcras.ru/index.php/sp/article/view/1851