TY  - RPRT
TI  - Integrating deduction and model finding in a language independent setting
AU  - Carlos Gustavo Lopez Pombo
AU  - Agustín Eloy Martinez Suñé
PY  - 2022
UR  - https://arxiv.org/abs/2206.07180
ID  - 2206.07180
ER  -