An environment for specifying properties of dyadic relations and reasoning about them. I: Language extension mechanisms.

P. CAIANIELLO

S. COSTANTINI

OMODEO, EUGENIO