TY  - RPRT
TI  - Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
AU  - Lars Fritsche
AU  - Jens Kosiol
AU  - Alexander Lauer
AU  - Adrian Möller
AU  - Andy Schürr
PY  - 2024
DO  - 10.46298/lmcs-20(3:25)2024
UR  - https://arxiv.org/abs/2312.09828
ID  - 2312.09828
ER  -