@inproceedings{DBLP:conf/smt/BonichonDT14,
  author    = {Richard Bonichon and
               David D{\'{e}}harbe and
               Cl{\'{a}}udia Tavares},
  title     = {Extending {SMT-LIB} v2 with {\(\lambda\)}-Terms and Polymorphism},
  booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
               Theories, {SMT} 2014, affiliated with the 26th International Conference
               on Computer Aided Verification {(CAV} 2014), the 7th International
               Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
               International Conference on Theory and Applications of Satisfiability
               Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014.},
  pages     = {53--62},
  year      = {2014},
  crossref  = {DBLP:conf/smt/2014},
  url       = {http://ceur-ws.org/Vol-1163/paper-08.pdf},
  timestamp = {Fri, 05 Sep 2014 13:49:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/smt/BonichonDT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}