1. Distributive Lattices;Balbes,1974
2. On categories with effective unions;Barr,1988
3. Modal extensions of Heyting algebras;Beazer;Colloq. Math.,1979
4. Completezza proposizionale per l’operatore modale “accade localmente che”;Bozzi;Boll. Unione Mat. Ital. A (5),1977
5. Representation of Heyting algebras with covering and propositional intuitionistic logic with local operator;Bozzi;Boll. Unione Mat. Ital. A (5),1980