BibTeX record conf/cade/2016paar

download as .bib file

@proceedings{DBLP:conf/cade/2016paar,
  editor    = {Pascal Fontaine and
               Stephan Schulz and
               Josef Urban},
  title     = {Proceedings of the 5th Workshop on Practical Aspects of Automated
               Reasoning co-located with International Joint Conference on Automated
               Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1635},
  publisher = {CEUR-WS.org},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier