@article{913673,
      author = {Fontaine, Pascal},
      url = {http://library.usi.edu/record/913673},
      title = {Automated deduction -- CADE 27 : 27th international  conference on automated deduction, Natal, Brazil, August  27-30, 2019 : proceedings /. International Conference on  Automated Deduction},
      doi = {https://doi.org/10.1007/978-3-030-29436-6},
      recid = {913673},
      pages = {1 online resource :},
}