BibTeX record conf/comma/CeruttiVG16b

download as .bib file

@inproceedings{DBLP:conf/comma/CeruttiVG16b,
  author    = {Federico Cerutti and
               Mauro Vallati and
               Massimiliano Giacomin},
  editor    = {Pietro Baroni and
               Thomas F. Gordon and
               Tatjana Scheffler and
               Manfred Stede},
  title     = {Efficient and Off-The-Shelf Solver: jArgSemSAT},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam,
               Germany, 12-16 September, 2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {287},
  pages     = {465--466},
  publisher = {{IOS} Press},
  year      = {2016},
  url       = {https://doi.org/10.3233/978-1-61499-686-6-465},
  doi       = {10.3233/978-1-61499-686-6-465},
  timestamp = {Tue, 23 May 2017 01:12:16 +0200},
  biburl    = {https://dblp.org/rec/conf/comma/CeruttiVG16b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics