SMT and Hybrid systems of the QTLeap project in the WMT16 IT-task | Publicación