Scope-Bounded Reachability in Valence Systems. - Aneesh K. Shetty; S. Krishna 004; Georg Zetzsche (CONCUR, 2021)