Translating the IMPS theory library to MMT/OMDoc
scientific article; zbMATH DE number 6957954