Michael Makkai On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. 364-381 1995 36 Notre Dame Journal of Formal Logic 3 db/journals/ndjfl/ndjfl36.html#Makkai95