System Description: A Semantics-Aware LaTeX-to-Office Converter. - Lukas Kohlhase; Michael Kohlhase (CICM, 2014)