In: Petri Net Newsletter No. 27, pages 28-36. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, August 1987.
Also as: 87: Rapporto interno n. 3. Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Italy, April 1987.
Keywords: knowledge representation; modal logic; enlogic structure.