Giorgio Levi Fausto Spoto Non Pair-Sharing and Freeness Analysis Through Linear Refinement. 52-61 2000 PEPM http://doi.acm.org/10.1145/328690.328699 db/conf/pepm/pepm2000.html#LeviS00