PP-2005-15: Goris, Evan and Joosten, Joost J. (2005) The many faces of interpretability. [Report]
PP-2003-17: Goris, Evan (2003) Extending ILM with an operator for $\Sigma_1$-ness. [Report]