Beller, S.S.BellerHoppe, H.U.H.U.Hoppe2022-03-092022-03-091993https://publica.fraunhofer.de/handle/publica/321981en004005006Deductive error reconstruction and classification in a logic programming frameworkconference paper