Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler: MetaSMT: a unified interface to SMT-LIB2. FDL 2014: 1-6