Set-sharing is redundant for pair-sharing (2002)

by R Bagnara, P Hill, E Zaffanella