APA (7th ed.) Citation

Stoltenow, L., König, B., Schneider, S., Corradini, A., Lambers, L., & Orejas, F. (2024). Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.

Chicago Style (17th ed.) Citation

Stoltenow, Lara, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, and Fernando Orejas. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. 2024.

MLA (9th ed.) Citation

Stoltenow, Lara, et al. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. 2024.