@article{idpz3areasoningengineforfo,
  title = {Interactive configurator with FO(.) and IDP-Z3},
  author = {Pierre Carbonnelle and Simon Vandevelde and Joost Vennekens and Marc Denecker},
  year = {2022},
  eprint = {2202.00343},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2202.00343v3},
}