Drǎmnesc, I.Ábrahám, E.Jebelean, T.Kusper, G.Stratulat, S.2023-11-162023-11-1620220933-5994https://dl.gi.de/handle/20.500.12116/42648enAutomated Reasoning in the ClassText/Journal Article