https://123dok.net/document/q2npg7n6-new-light-on-arc-consistency-over-continous-domains.html