Text this: A survey of proof systems for CSP