Decomposing non-redundant sharing by complementation

Enea Zaffanella, Patricia M. Hill, Roberto Bagnara. Decomposing non-redundant sharing by complementation. TPLP, 2(2):233-261, 2002.

Abstract

Abstract is missing.