Абаджян Ашот Гаспарович. Сложности выводов "трудноопределяемых" формул в системах исчисления высказываний.- Дисертація канд. физ.-мат. наук: 01.01.09, Ереван. гос. ун-т. - Ереван, 2012.- 200 с.