@inproceedings{Barbosa2016,
  author    = {Haniel Barbosa},
  title     = {{Efficient Instantiation Techniques in SMT (Work In Progress)}},
  pages     = {1--10},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1635/paper-01.pdf},
  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},
}