Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.

Zhendong Su, Manuel Fhndrich, Alexander Aiken

Browse the full POPL paper archive.