Boolean Abstractions for Realizability Modulo Theories | Publicación