Inference with System W Satisfies Syntax Splitting

Open in new window