Ghelli and Orsini (1990)
Ghelli G. and Orsini R. (1990)
Types and subtypes as partial equivalence relations
In [_LNS90], pp. 191-209