A Synergistic Analysis for Sharing and Groundness with Traces Linearity.

Andy King

Browse the full ESOP paper archive.