Aximo: Automated Axiomatic Reasoning for Information Update (Electronic Notes in Theoretical Computer Science (ENTCS), 2009)

(untitled) - Richards, S; Sadrzadeh, M