Attributed and Extensional Equivalence in DRL.

Nicola Guarino

Browse the full ISMIS paper archive.