@article{RHF+:2016,
author = {Heinz Riener and Finn Haedicke and Stefan Frehse and Mathias Soeken and Daniel Große and Rolf Drechsler and Goerschwin Fey},
title = {metaSMT: Focus On Your Application And Not On Solver Integration.},
journal = {International Journal on Software Tools for Technology Transfer (STTT).},
year = {2016},
pages = {1-17},
note = {gfey, CE},
isbn = {10.1007/s10009-016-0426-1},
howpublished = {16-999 RHF+:2016 STTT}
}

@COMMENT{Bibtex file generated on 2026-6-29 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/de/home/publications }