Global optimization by supression of partial redundancies (0)

by E Morel, C Renviose