From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change | Synapse