TY  - RPRT
TI  - Interactive configurator with FO(.) and IDP-Z3
AU  - Pierre Carbonnelle
AU  - Simon Vandevelde
AU  - Joost Vennekens
AU  - Marc Denecker
PY  - 2023
UR  - https://arxiv.org/abs/2202.00343
ID  - 2202.00343
ER  -