On the expressive power of CSP extended by priority (2014)

(untitled) - Roscoe, A