Văn bản này: On the expressive power of CSP extended by priority