Spatial Reasoning about String Loops and Holes in Temporal ASP | Publicación