TY  - RPRT
TI  - Translating Equality Downwards
AU  - Edith Hemaspaandra
AU  - Lane A. Hemaspaandra
AU  - Harald Hempel
PY  - 1999
UR  - https://arxiv.org/abs/cs/9910008
ID  - cs/9910008
ER  -