Abdennadher, S.Geske, U.Seipel, D.2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/336243en004005006WLP 2000, 15th Workshop on Logic Programming and Constraint Systemsconference proceeding