@article{Косовская_2014, title={Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов}, volume={3}, url={http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1851}, DOI={10.15622/sp.34.10}, number={34}, journal={Труды СПИИРАН}, author={Косовская, Татьяна Матвеевна}, year={2014}, month={июн.}, pages={204-217}