Boolean Abstractions for Realizability Modulo Theories (Extended version) | Publicación