\input zb-basic
\input zb-ioport
\iteman{io-port 70279879}
\itemau{Bj{\o}rner, Nikolaj; De Moura, Leonardo Mendon\c{c}a}
\itemti{Tapas: theory combinations and practical applications}
\itemso{FORMATS, 1-6 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-04368-0\_1}
\end