From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach | Publicación