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