ReadGlim
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version) — ReadGlim