metaSMT: A Unified Interface to SMT-LIB2

@inproceedings{pub7417,
    author = {

Riener, Heinz
 and 

Soeken, Mathias
 and 

Werther, Clemens
 and 

Fey, Goerschwin
 and 

Drechsler, Rolf
},
    title = {metaSMT: A Unified Interface to SMT-LIB2},
    booktitle = {Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany},
    year = {2014},
    publisher = {o.A.}
}