Translating the IMPS theory library to MMT/OMDoc - Kohlhase, Michael; Betzendahl, Jonas (11th International Conference on Intelligent Computer Mathematics, CICM 2018, 2018)