@article{799737,
      recid = {799737},
      author = {Schmidt, Renate A., and Nalon, Cláudia,},
      title = {Automated reasoning with analytic tableaux and related  methods : 26th International Conference, TABLEAUX 2017,  Brasília, Brazil, September 25-28, 2017, Proceedings /.  TABLEAUX (Conference)},
      pages = {1 online resource (xii, 381 pages) :},
      note = {International conference proceedings.},
      url = {http://library.usi.edu/record/799737},
      doi = {https://doi.org/10.1007/978-3-319-66902-1},
}