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

by E Zaanella, P M Hill, R Bagnara Bagnara, R Hill, P M, E Zaanella