@InProceedings{KohSch2024:ReuLeaObjViaTheMor,
	author={Kohlhase, Michael and Schütz, Marcel},
	editor={Kohlhase, Andrea and Kovács, Laura},
	title={Reusing Learning Objects via Theory Morphisms},
	booktitle={Intelligent Computer Mathematics},
	year={2024},
	publisher={Springer Nature Switzerland},
	pages={165--182}
}