@misc{С._И._Адян_О,
 author={С. И. Адян},
 howpublished={online},
 publisher={Изд-во НАН РА},
 type={Статья},
 title={О методе нахождения точных оценок длин выводов в системах Туэ},
 keywords={Mathematics},
}