Гирш Э.А. Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Э. А. Гирш, 1998. - 15 с. - Текст : непосредственный.
Гирш Э.А. Сложность пропозициональной логики : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / Э. А. Гирш, 2011. - 31 с. - Текст : непосредственный.