Kripke submodels and universal sentences. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Math. Log. Q., 2007)

Quantifier Elimination for a Class of Intuitionistic Theories. - Ben Ellison; Jonathan Fleischmann; Dan McGinn; Wim Ruitenburg (Notre Dame J. Formal Log., 2008)