TY  - GEN
AB  - This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
AU  - Blanchette, Jasmin,
AU  - Kovács, Laura,
AU  - Pattinson, Dirk,
CN  - QA76.9.A96
DO  - 10.1007/978-3-031-10769-6
DO  - doi
ID  - 1431487
KW  - Automatic theorem proving
KW  - Computer logic
LK  - https://link.springer.com/10.1007/978-3-031-10769-6
N1  - Includes author index.
N2  - This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
SN  - 9783031107696
SN  - 3031107691
T1  - Automated reasoning :11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
TI  - Automated reasoning :11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
UR  - https://link.springer.com/10.1007/978-3-031-10769-6
VL  - 13385
ER  -