Tiemens, LuccaLuccaTiemensScott, Dana S.Dana S.ScottBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Benda, MiroslavMiroslavBenda2022-09-212022-09-212019https://fis.uni-bamberg.de/handle/uniba/55650engComputer-supported Exploration of a Categorical Axiomatization of Modeloidspreprint10.48550/ARXIV.1910.12863https://arxiv.org/abs/1910.12863