F. Aschieri: "On Herbrand constructive Logics III: Intuitionistic logic of constant domains"; Talk: Classical Logic and Computation" (CL&C 2018), Oxford; 2018-07-07.