@misc{Г._С._Цейтин_Некоторые,
 author={Г. С. Цейтин and А. А. Чубарян},
 address={Երևան},
 howpublished={online},
 publisher={ՀՍՍՀ ԳԱ հրատ․},
 title={Некоторые оценки длин логических выводов в классическом исчислении высказываний},
 type={Հոդված},
 keywords={Mathematics, Science},
}