@STRING{sttt	= {Software Tools for Technology Transfer} }
@article{RHF+:2017,
  author    = {Heinz Riener and Finn Haedicke and Stefan Frehse and Mathias Soeken and Daniel Gro{\ss}e and Rolf Drechsler and G\"orschwin Fey},
  title     = {{metaSMT}: Focus on Your Application not on Solver Integration},
  journal   = sttt,
  year	    = {2017},
  month     = Oct,
  volume    = {19},
  number    = {5},
  pages     = {605--621},
}