@article{844149,
      recid = {844149},
      author = {Galmiche, Didier, and Schulz, Stephan, and Sebastiani, R.},
      title = {Automated reasoning : 9th International Joint Conference,  IJCAR 2018, held as part of the Federated Logic Conference,  FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /.  IJCAR (Conference)},
      pages = {1 online resource (xvi, 724 pages) :},
      note = {International conference proceedings.},
      url = {http://library.usi.edu/record/844149},
      doi = {https://doi.org/10.1007/978-3-319-94205-6},
}