@article{Simon-Mehrs,
  title = "Aximo: Automated Axiomatic Reasoning for Information Update",
  author = "Simon Richards and Mehrnoosh Sadrzadeh",
  year = "2009",
  journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
}