Чень Ч. Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др.. - М. : Наука, 1983. - 358,[2] с. - ( Математическая логика и основания математики ) . URL: http://sun.tsu.ru/limit/2016/000119917/000119917.pdf