Boolean abstractions for realizability modulo theories
scientific article; zbMATH DE number 7798104