Lifting Theorems for Equality.

Bruno Loff, Sagnik Mukhopadhyay

Browse the full STACS paper archive.