TY  - RPRT
TI  - On First-Order Model-Based Reasoning
AU  - Maria Paola Bonacina
AU  - Ulrich Furbach
AU  - Viorica Sofronie-Stokkermans
PY  - 2019
DO  - 10.1007/978-3-319-23165-5_8
UR  - https://arxiv.org/abs/1502.02535
ID  - 1502.02535
ER  -