Computations in Fragments of Intuitionistic Propositional Logic. - Dick De Jongh; Lex Hendriks; Gerard R. Renardel de Lavalette (J. Autom. Reason., 1991)

Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation. - Lex Hendriks (J. Log. Comput., 1998)

Effective Logic Computation, Klaus Truemper. - Lex Hendriks (J. Log. Lang. Inf., 1999)

Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. - Lex Hendriks (Ann. Pure Appl. Log., 2000)

Characterization of strongly equivalent logic programs in intermediate logics. - Dick De Jongh; Lex Hendriks (Theory Pract. Log. Program., 2003)

Intuitionistic implication without disjunction. - Gerard R. Renardel de Lavalette; Alex Hendriks; Dick de Jongh (J. Log. Comput., 2012)