TY  - RPRT
TI  - Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
AU  - Lara Stoltenow
AU  - Barbara König
AU  - Sven Schneider
AU  - Andrea Corradini
AU  - Leen Lambers
AU  - Fernando Orejas
PY  - 2024
UR  - https://arxiv.org/abs/2407.06864
ID  - 2407.06864
ER  -