Abstractions for Transition Systems with Applications to Stubborn Sets | Publicación