Giuseppe Attardi Maria Simi A Formalization of Viewpoints. 149-173 1995 23 Fundam. Inform. 2/3/4 db/journals/fuin/fuin23.html#AttardiS95