@article{913670,
      recid = {913670},
      author = {Cerrito, Serenella, and Popescu, Andrei,},
      title = {Automated reasoning with analytic tableaux and related  methods : 28th international conference, TABLEAUX 2019,  London, UK, September 3-5, 2019 : proceedings /. TABLEAUX  (Conference)},
      pages = {1 online resource :},
      url = {http://library.usi.edu/record/913670},
      doi = {https://doi.org/10.1007/978-3-030-29026-9},
}