BibTeX record conf/comma/Rodrigues16

download as .bib file

@inproceedings{DBLP:conf/comma/Rodrigues16,
  author    = {Odinaldo Rodrigues},
  title     = {Introducing EqArgSolver: An argumentation solver using equational
               semantics},
  booktitle = {SAFA@COMMA},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1672},
  pages     = {22--33},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics