@misc{indiciae32fa76ba15e1, title = {Characterizing Structural Hardness of Logic Programs: What makes Cycles and Reachability Hard for Treewidth?}, author = {Markus Hecher}, year = {2023}, url = {https://arxiv.org/abs/2301.07472}, note = {Source identifier: 2301.07472} }