Ghelli and Orsini (1990)

Ghelli G. and Orsini R. (1990)

Types and subtypes as partial equivalence relations

In [_LNS90], pp. 191-209