The Meaning and Implementation of SKIP in CSP - Gibson−Robinson, T; Goldsmith, M (2013)