BibTeX record conf/cade/2016paar

download as .bib file

  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 = {},
  year      = {2016}
maintained by Schloss Dagstuhl LZI, founded at University of Trier