Amedeo Cappelli Daniele Mazzeranghi An Intensional Semantics for a Hybrid Language. 31-62 1994 12 Data Knowl. Eng. 1 db/journals/dke/dke12.html#CappelliM94