@misc{Davit_A._Grigoryan_On,
 author={Davit A. Grigoryan},
 howpublished={online},
 publisher={Изд-во НАН РА},
 abstract={Աշխատանքում դիտարկվում է կանոնիկ δ-ռեդուկցիայի գաղափարը տիպիզացված Դ-թերմերի համար: В данной работе рассматривается основное каноническое понятие δ-редукции для типизированных ٨-термов.},
 type={Հոդված},
 title={On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction},
 keywords={Mathematics, Science, Algebra},
}