@article{938202,
      recid = {938202},
      author = {Peltier, Nicolas. and Sofronie-Stokkermans, Viorica.},
      title = {Automated reasoning : 10th International Joint Conference,  IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.,  Part II /. IJCAR (Conference)},
      publisher = {Springer,},
      address = {Cham :},
      pages = {1 online resource (521 pages).},
      year = {2020},
      note = {"These volumes contain the papers presented at the 10th  International Joint Conferenceon Automated Reasoning (IJCAR  2020) initially planned to be held in Paris, but -- due to  the COVID-19 pandemic -- held by remote conferencing during  July 1-4, 2020."},
      abstract = {This two-volume set LNAI 12166 and 12167 constitutes the  refereed proceedings of the 10th International Joint  Conference on Automated Reasoning, IJCAR 2020, held in  Paris, France, in July 2020.* In 2020, IJCAR was a merger  of the following leading events, namely CADE (International  Conference on Automated Deduction), FroCoS (International  Symposium on Frontiers of Combining Systems), ITP  (International Conference on Interactive Theorem Proving),  and TABLEAUX (International Conference on Analytic Tableaux  and Related Methods). The 46 full research papers, 5 short  papers, and 11 system descriptions presented together with  two invited talks were carefully reviewed and selected from  150 submissions. The papers focus on the following topics:  Part I: SAT; SMT and QBF; decision procedures and  combination of theories; superposition; proof procedures;  non classical logics Part II: interactive theorem proving/  HOL; formalizations; verification; reasoning systems and  tools *The conference was held virtually due to the  COVID-19 pandemic. Chapter 'A Fast Verified Liveness  Analysis in SSA Form is available open access under a  Creative Commons Attribution 4.0 International License via  link.springer.com.},
      url = {http://library.usi.edu/record/938202},
      doi = {https://doi.org/10.1007/978-3-030-51},
}