Craig Interpretation.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Browse the full SAS paper archive.