@misc{indiciae39ddb11d7e71,
  title = {From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach},
  author = {Andoni Rodríguez and Cesar Sanchez},
  year = {2023},
  url = {https://arxiv.org/abs/2310.07904},
  note = {Source identifier: 2310.07904}
}