Wolf, A.A.WolfGruenhagen, T.T.GruenhagenGeske, U.U.Geske2022-03-032022-03-032000https://publica.fraunhofer.de/handle/publica/19860810.1080/088395100117052enAdaptationConstraintsConstraint Solving004006On the Incremental Adaptation of CHR Derivationsjournal article