Voß, A.A.VoßVoß, H.H.Voß2022-03-082022-03-081989https://publica.fraunhofer.de/handle/publica/316168en004005006Formalizing local constraint propagation methodsconference paper