G. Leavens, and D. Pigozzi. US-Brazil Joint Workshops on the Formal Foundations of Software Systems, volume 14 of Electronic Notes in Theoretical Computer Science, page 214-244. Elsevier, (1997)
D. Gabbay, G. Pigozzi, and O. Rodrigues. Formal Models of Belief Change in Rational Agents, volume 07351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)