Nicola Leone Luigi Palopoli Massimo Romeo Modifying Intensional Logic Knowledge. 183-203 1994 21 Fundam. Inform. 3 db/journals/fuin/fuin21.html#LeonePR94