@InProceedings{KelKohSchSch2025:RepTheBenOfModInFleMatByGfBasAstTra,
	author={Kelber, Josefin and Kohlhase, Michael and Schaefer, Jan Frederik and Schütz, Marcel},
	editor={de Paiva, Valeria and Koepke, Peter},
	title={Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations},
	booktitle={Intelligent Computer Mathematics},
	year={2025},
	publisher={Springer},
	pages={191--207}
}