@article{734015,
      note = {International conference proceedings.},
      author = {Nivelle, Hans,},
      url = {http://library.usi.edu/record/734015},
      title = {Automated reasoning with analytic tableaux and related  methods 24th International Conference, TABLEAUX 2015,  Wrocław, Poland, September 21-24, 2015. Proceedings /  [electronic resource] :. TABLEAUX (Conference)},
      doi = {https://doi.org/10.1007/978-3-319-24312-2},
      recid = {734015},
      pages = {1 online resource (xi, 342 pages) :},
}