TY  - RPRT
TI  - Characterizing Structural Hardness of Logic Programs: What makes Cycles and Reachability Hard for Treewidth?
AU  - Markus Hecher
PY  - 2023
UR  - https://arxiv.org/abs/2301.07472
ID  - 2301.07472
ER  -