Krall, A.Geske, U.2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/325371de00400611. Workshop Logische Programmierungconference proceeding