TY  - GEN
AU  - Galmiche, Didier,
AU  - Schulz, Stephan,
AU  - Sebastiani, R.
CN  - QA76.9.A96
DO  - 10.1007/978-3-319-94205-6
DO  - doi
ID  - 844149
KW  - Automatic theorem proving
KW  - Computer logic
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94205-6
N1  - International conference proceedings.
SN  - 9783319942056
SN  - 3319942050
T1  - Automated reasoning :9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /
TI  - Automated reasoning :9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-94205-6
VL  - 10900
ER  -