@misc{Г._С._Цейтин_О,
 author={Г. С. Цейтин and А. А. Чубарян},
 howpublished={online},
 publisher={АН Арм. ССР},
 title={О некоторых оценках длин логических выводов в классическом исчислении высказываний},
 type={Հոդված},
 keywords={Математика},
}