@misc{indiciae9e62ceaeff75,
  title = {Interactive configurator with FO(.) and IDP-Z3},
  author = {Pierre Carbonnelle and Simon Vandevelde and Joost Vennekens and Marc Denecker},
  year = {2023},
  url = {https://arxiv.org/abs/2202.00343},
  note = {Source identifier: 2202.00343}
}