TY - JOUR AU - Andrew Du Plessis AU - Leslie Wilson TI - On Right-Equivalence. JO - Mathematische Zeitschrift PY - 1985 SP - 163 EP - 206 VL - 190 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZ_1985__190_173618/ ID - MZ_1985__190_173618 ER -