Reasoning with coincidence grids—A sequent-based logic and an analysis of complexity | Publicación