@misc{indiciae21624377908b,
  title = {A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs},
  author = {Jens Kosiol and Steffen Zschaler},
  year = {2026},
  url = {https://arxiv.org/abs/2601.18376},
  note = {Source identifier: 2601.18376}
}