Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic.

Lex Hendriks Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. 97-112 2000 104 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal104.html#Hendriks00