@misc{Michal_Kozak_Distributivity,
 author={Michal Kozak},
 howpublished={online},
 publisher={Изд-во НАН РА},
 type={Հոդված},
 title={Distributivity in symmetric constructive full lambek calculus},
 keywords={Mathematics, Algebra},
}