Reasoning About Mutable Rule Sets - MEng Final Year Project