@InProceedings{KohRabSch2025:LigRea,
	author={Kohlhase, Michael and Rabe, Florian and Schütz, Marcel},
	editor={de Paiva, Valeria and Koepke, Peter},
	title={Lightweight Realms},
	booktitle={Intelligent Computer Mathematics},
	year={2025},
	publisher={Springer},
	pages={222--239}
}