Contextual Equality Saturation.

Alexandre Drewery, Thomas P. Jensen, David Pichardie

Browse the full SAS paper archive.