Discovery and exploitation of general reductions: a constraint based approach.

Philip Ginsbach, Michael F. P. O'Boyle

Browse the full CGO paper archive.