TY  - RPRT
TI  - A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
AU  - Jens Kosiol
AU  - Steffen Zschaler
PY  - 2026
UR  - https://arxiv.org/abs/2601.18376
ID  - 2601.18376
ER  -