Andrei Voronkov

Andrei Anatolievič Voronkov

(1959-05-14) May 14, 1959[2][3]

Realizability and Program Synthesis  (1987)