@misc{indiciaecaf779bafa0b,
  title = {Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions},
  author = {Lara Stoltenow and Barbara König and Sven Schneider and Andrea Corradini and Leen Lambers and Fernando Orejas},
  year = {2024},
  url = {https://arxiv.org/abs/2407.06864},
  note = {Source identifier: 2407.06864}
}