The many faces of interpretability - Gorris, Evan; Joosten, Joost J. (Inst. for Logic, Language and Computation, 2005)