Lower Bound Founded Logic of Here-and-There | Publicación