A Note on Majkic's Systems. - Hitoshi Omori; Toshiharu Waragai (Notre Dame J. Formal Log., 2010)

Some Observations on the Systems LFI1 and LFI1. - Hitoshi Omori; Toshiharu Waragai (DEXA Workshops, 2011)