Wolf, A.Frühwirth, T.W.Meister, M.2022-03-102022-03-102005https://publica.fraunhofer.de/handle/publica/349946en00400619th Workshop on (Constraint) Logic Programmingconference proceeding