Weak One-Basedness. - Gareth Boxall; David Bradley-Williams; Charlotte Kestner; Alexandra Omar Aziz; Davide Penazzi (Notre Dame J. Formal Log., 2013)