Locales: A Module System for Mathematical Theories Clemens Ballarin OriginalPaper 10 April 2013 Pages: 123 - 153
Anti-unification for Unranked Terms and Hedges Temur KutsiaJordi LevyMateu Villaret OriginalPaper Open access 19 April 2013 Pages: 155 - 190
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods Jesse AlamaTom HeskesJosef Urban OriginalPaper 24 April 2013 Pages: 191 - 213
Mechanizing Metatheory Without Typing Contexts Jonghyun ParkJeongbong SeoGyesik Lee OriginalPaper 16 April 2013 Pages: 215 - 239